The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Todd D. Millstein" ( http://dblp.L3S.de/Authors/Todd_D._Millstein )

URL (Homepage):  http://www.cs.ucla.edu/~todd/  Author page on DBLP  Author page in RDF  Community of Todd D. Millstein in ASPL-2

Publication years (Num. hits)
1997-2004 (17) 2005-2007 (16) 2008-2011 (17) 2012-2015 (16) 2016-2017 (15) 2018-2019 (10)
Publication types (Num. hits)
article(23) incollection(1) inproceedings(64) proceedings(3)
Venues (Conferences, Journals, ...)
OOPSLA(10) PLDI(9) ACM Trans. Program. Lang. Syst...(6) CoRR(6) ECOOP(6) ICSE(3) Inf. Comput.(2) NSDI(2) OOPSLA Companion(2) PACMPL(2) PEPM(2) SIGCOMM(2) UAI(2) AAAI/IAAI(1) AOSD(1) ASPLOS(1) More (+10 of total 50)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 61 occurrences of 45 keywords

Results
Found 92 publication records. Showing 91 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma 0001 Overfitting in Synthesis: Theory and Practice (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Steven Holtzen, Todd D. Millstein, Guy Van den Broeck Symbolic Exact Inference for Discrete Probabilistic Programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Steven Holtzen, Todd D. Millstein, Guy Van den Broeck Generating and Sampling Orbits for Lifted Probabilistic Inference. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma 0001 Overfitting in Synthesis: Theory and Practice. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Steven Holtzen, Todd D. Millstein, Guy Van den Broeck Generating and Sampling Orbits for Lifted Probabilistic Inference. Search on Bibsonomy UAI The full citation details ... 2019 DBLP  BibTeX  RDF
1Lun Liu, Todd D. Millstein, Madanlal Musuvathi Accelerating sequential consistency for Java with speculative compilation. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein FlashProfile: a framework for synthesizing data profiles. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matteo Interlandi, Ari Ekmekji, Kshitij Shah, Muhammad Ali Gulzar, Sai Deep Tetali, Miryung Kim, Todd D. Millstein, Tyson Condie Adding data provenance support to Apache Spark. Search on Bibsonomy VLDB J. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Todd D. Millstein (eds.) 32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  BibTeX  RDF
1Steven Holtzen, Guy Van den Broeck, Todd D. Millstein Sound Abstraction and Decomposition of Probabilistic Programs. Search on Bibsonomy ICML The full citation details ... 2018 DBLP  BibTeX  RDF
1Lun Liu, Todd D. Millstein, Madanlal Musuvathi A volatile-by-default JVM for server applications. Search on Bibsonomy PACMPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein FlashProfile: Interactive Synthesis of Syntactic Profiles. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Steven Holtzen, Todd D. Millstein, Guy Van den Broeck Probabilistic Program Abstractions. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Saswat Padhi, Todd D. Millstein Data-Driven Loop Invariant Inference with Automatic Feature Synthesis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Steven Holtzen, Todd D. Millstein, Guy Van den Broeck Probabilistic Program Abstractions. Search on Bibsonomy UAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker Network configuration synthesis with abstract topologies. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ryan Beckett, Ratul Mahajan, Jitendra Padhye, Todd D. Millstein, David Walker Programming Distributed Control Planes: Invited Demo: Demo. Search on Bibsonomy SOSR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Todd D. Millstein Technical Perspective: Toward reliable programming for unreliable hardware. Search on Bibsonomy Commun. ACM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy DRFx: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2016 DBLP  BibTeX  RDF
1Muhammad Ali Gulzar, Xueyuan Han, Matteo Interlandi, Shaghayegh Mardani, Sai Deep Tetali, Todd D. Millstein, Miryung Kim Interactive Debugging for Big Data Analytics. Search on Bibsonomy HotCloud The full citation details ... 2016 DBLP  BibTeX  RDF
1Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. Search on Bibsonomy SIGCOMM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saswat Padhi, Rahul Sharma 0001, Todd D. Millstein Data-driven precondition inference with learned features. Search on Bibsonomy PLDI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Seyed Kaveh Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd D. Millstein, Vyas Sekar, George Varghese Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. Search on Bibsonomy OSDI The full citation details ... 2016 DBLP  BibTeX  RDF
1Muhammad Ali Gulzar, Matteo Interlandi, Seunghyun Yoo, Sai Deep Tetali, Tyson Condie, Todd D. Millstein, Miryung Kim BigDebug: debugging primitives for interactive big data processing in spark. Search on Bibsonomy ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matteo Interlandi, Sai Deep Tetali, Muhammad Ali Gulzar, Joseph Noor, Tyson Condie, Miryung Kim, Todd D. Millstein Optimizing Interactive Development of Data-Intensive Applications. Search on Bibsonomy SoCC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matteo Interlandi, Kshitij Shah, Sai Deep Tetali, Muhammad Ali Gulzar, Seunghyun Yoo, Miryung Kim, Todd D. Millstein, Tyson Condie Titian: Data Provenance Support in Spark. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tim Felgentreff, Todd D. Millstein, Alan Borning, Robert Hirschfeld Checks and balances: constraint solving without surprises in object-constraint programming languages. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein A General Approach to Network Configuration Analysis. Search on Bibsonomy NSDI The full citation details ... 2015 DBLP  BibTeX  RDF
1Luis Pedrosa, Ari Fogel, Nupur Kothari, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein Analyzing Protocol Implementations for Interoperability. Search on Bibsonomy NSDI The full citation details ... 2015 DBLP  BibTeX  RDF
1Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh The Silently Shifting Semicolon. Search on Bibsonomy SNAPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mohsen Lesani, Todd D. Millstein, Jens Palsberg Automatic Atomicity Verification for Clients of Concurrent Data Structures. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hesam Samimi, Chris Deaton, Yoshiki Ohshima, Alessandro Warth, Todd D. Millstein Call by Meaning. Search on Bibsonomy Onward! The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrew P. Black, Todd D. Millstein (eds.) Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014 Search on Bibsonomy OOPSLA The full citation details ... 2014 DBLP  BibTeX  RDF
1Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi A Safety-First Approach to Memory Models. Search on Bibsonomy IEEE Micro The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein MrCrypt: static analysis for secure cloud computations. Search on Bibsonomy OOPSLA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hesam Samimi, Rebecca Hicks, Ari Fogel, Todd D. Millstein Declarative mocking. Search on Bibsonomy ISSTA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lorenzo Gomez, Iulian Neamtiu, Tanzirul Azim, Todd D. Millstein RERAN: timing- and touch-sensitive record and replay for Android. Search on Bibsonomy ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jinseong Jeon, Kristopher K. Micinski, Jeffrey A. Vaughan, Ari Fogel, Nikhilesh Reddy, Jeffrey S. Foster, Todd D. Millstein Dr. Android and Mr. Hide: fine-grained permissions in android applications. Search on Bibsonomy SPSM@CCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jeffrey A. Vaughan, Todd D. Millstein Secure Information Flow for Concurrent Programs under Total Store Order. Search on Bibsonomy CSF The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hesam Samimi, Max Schäfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren Automated repair of HTML generation errors in PHP applications using string constraint solving. Search on Bibsonomy ICSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi End-to-end sequential consistency. Search on Bibsonomy ISCA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip Refactoring towards the good parts of javascript. Search on Bibsonomy OOPSLA Companion The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip Tool-supported refactoring for JavaScript. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nupur Kothari, Ratul Mahajan, Todd D. Millstein, Ramesh Govindan, Madanlal Musuvathi Finding protocol manipulation attacks. Search on Bibsonomy SIGCOMM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy A case for an SC-preserving compiler. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi Efficient processor support for DRFx, a memory model with exceptions. Search on Bibsonomy ASPLOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble 0001 JavaCOP: Declarative pluggable types for java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hesam Samimi, Ei Darli Aung, Todd D. Millstein Falling Back on Executable Specifications. Search on Bibsonomy ECOOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy DRFX: a simple and efficient memory model for concurrent programming languages. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF memory model exception, soft fences, memory models, data races, sequential consistency
1Todd D. Millstein, Christopher Frost, Jason Ryder, Alessandro Warth Expressive and modular predicate dispatch for Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic dispatch, Predicate dispatch, modular typechecking
1Thorsten Altenkirch, Todd D. Millstein (eds.) Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009 Search on Bibsonomy PLPV The full citation details ... 2009 DBLP  BibTeX  RDF
1Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein Fine-Grained Access Control with Object-Sensitive Roles. Search on Bibsonomy ECOOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Daniel Marino, Todd D. Millstein A generic type-and-effect system. Search on Bibsonomy TLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF type-and-effect systems
1Shane Markstrum, Robert M. Fuhrer, Todd D. Millstein Towards concurrency refactoring for x10. Search on Bibsonomy PPOPP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurrency, refactoring, x10, partitioned global address space
1Nupur Kothari, Todd D. Millstein, Ramesh Govindan Deriving State Machines from TinyOS Programs Using Symbolic Execution. Search on Bibsonomy IPSN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandro Warth, James R. Douglass, Todd D. Millstein Packrat parsers can support left recursion. Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF left recursion, packrat parsing
1Brian Chin, Todd D. Millstein An Extensible State Machine Pattern for Interactive Applications. Search on Bibsonomy ECOOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madanlal Musuvathi Can You Fool Me? Towards Automatically Checking Protocol Gullibility. Search on Bibsonomy HotNets The full citation details ... 2008 DBLP  BibTeX  RDF
1Jens Palsberg, Todd D. Millstein Type Systems: Advances and Applications. Search on Bibsonomy The Compiler Design Handbook, 2nd ed. The full citation details ... 2007 DBLP  BibTeX  RDF
1Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein Enforcing and validating user-defined programming disciplines. Search on Bibsonomy PASTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF pluggable type systems, programming disciplines, type-and-effect systems, type qualifiers
1Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein Tasks: language support for event-driven programming. Search on Bibsonomy PEPM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan Reliable and efficient programming abstractions for wireless sensor networks. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF wireless sensor networks, energy efficiency, deadlocks, serializability, macroprogramming
1Ramakrishna Gummadi, Nupur Kothari, Todd D. Millstein, Ramesh Govindan Declarative failure recovery for sensor networks. Search on Bibsonomy AOSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF declarative failure recovery, declarative recovery, node-level programming, WSN, wireless sensor networks, checkpointing, recovery, failure, macroprogramming
1Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers MultiJava: Design rationale, compiler implementation, and applications. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF MultiJava language, Open classes, augmenting method problem, binary method problem, extensible classes, extensible external methods, external methods, method families, open objects, single dispatch, static typechecking, modularity, inheritance, subtyping, encapsulation, generic functions, Java language, separate compilation, object-oriented programming languages, multimethods, multiple dispatch, expression problem
1Chris Andreae, James Noble 0001, Shane Markstrum, Todd D. Millstein A framework for implementing pluggable type systems. Search on Bibsonomy OOPSLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF JavaCOP, pluggable type systems
1Jeffrey Overbey, Brian Foote, Paul Adamczyk, Jonathan Aldrich, Elisa L. A. Baniassad, Christian Grothoff, Arvind Krishna, Sean McDirmid, Todd D. Millstein, Alex Potanin, Mandana Vaziri Young guns/object orientation: the next generation. Search on Bibsonomy OOPSLA Companion The full citation details ... 2006 DBLP  DOI  BibTeX  RDF object orientation
1Alessandro Warth, Milan Stanojevic, Todd D. Millstein Statically scoped object adaptation with expanders. Search on Bibsonomy OOPSLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF object adaptation, expanders, modular typechecking
1Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg Inference of User-Defined Type Qualifiers and Qualifier Rules. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Brian Chin, Todd D. Millstein Responders: Language Support for Interactive Applications. Search on Bibsonomy ECOOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sorin Lerner, Todd D. Millstein, Craig Chambers Cobalt: A Language for Writing Provably-Sound Compiler Optimizations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1K. Rustan M. Leino, Todd D. Millstein, James B. Saxe Generating error traces from verification-condition counterexamples. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thomas Ball, Todd D. Millstein, Sriram K. Rajamani Polymorphic predicate abstraction. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF polymorphism, Software model checking, predicate abstraction
1Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers Automated soundness proofs for dataflow analyses and transformations via local rules. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automated correctness proofs, compiler optimization
1Brian Chin, Shane Markstrum, Todd D. Millstein Semantic type qualifiers. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF extensible typechecking, type qualifiers, type soundness
1Todd D. Millstein, Colin Bleckner, Craig Chambers Modular typechecking for hierarchically extensible datatypes and functions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Extensible datatypes, extensible functions, modular typechecking
1Dina Q. Goldin, Todd D. Millstein, Ayferi Kutlu Bounded similarity querying for time-series data. Search on Bibsonomy Inf. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Todd D. Millstein Practical predicate dispatch. Search on Bibsonomy OOPSLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF dynamic dispatch, predicate dispatch, modular typechecking
1Todd D. Millstein, Alon Y. Halevy, Marc Friedman Query containment for data integration systems. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Todd D. Millstein, Mark Reay, Craig Chambers Relaxed MultiJava: balancing extensibility and modular typechecking. Search on Bibsonomy OOPSLA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF class loader, external methods, relaxed MultiJava, multimethods, modular typechecking
1Todd D. Millstein Static Reasoning about Programs and Queries. Search on Bibsonomy PCK50 The full citation details ... 2003 DBLP  BibTeX  RDF
1Sorin Lerner, Todd D. Millstein, Craig Chambers Automatically proving the correctness of compiler optimizations. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF automated correctness proofs, compiler optimization
1Todd D. Millstein, Craig Chambers Modular Statically Typed Multimethods. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Todd D. Millstein, Colin Bleckner, Craig Chambers Modular typechecking for hierarchically extensible datatypes and functions. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF extensible datatypes, extensible functions, modular typechecking
1Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani Automatic Predicate Abstraction of C Programs. Search on Bibsonomy PLDI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF C
1Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein MultiJava: modular open classes and symmetric multiple dispatch for Java. Search on Bibsonomy OOPSLA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Java
1Todd D. Millstein, Alon Y. Levy, Marc Friedman Query Containment for Data Integration Systems. Search on Bibsonomy PODS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Todd D. Millstein, Craig Chambers Modular Statically Typed Multimethods. Search on Bibsonomy ECOOP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Marc Friedman, Alon Y. Levy, Todd D. Millstein Navigational Plans For Data Integration. Search on Bibsonomy AAAI/IAAI The full citation details ... 1999 DBLP  BibTeX  RDF
1Marc Friedman, Alon Y. Levy, Todd D. Millstein Navigational Plans for Data Integration. Search on Bibsonomy Intelligent Information Integration The full citation details ... 1999 DBLP  BibTeX  RDF
1Gary T. Leavens, Todd D. Millstein Multiple Dispatch as Dispatch on Tuples. Search on Bibsonomy OOPSLA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF single dispatch, semantics, typing, language design, generic functions, tuple, multimethods, multiple dispatch, binary methods
1Michael D. Ernst, Todd D. Millstein, Daniel S. Weld Automatic SAT-Compilation of Planning Problems. Search on Bibsonomy IJCAI The full citation details ... 1997 DBLP  BibTeX  RDF
Displaying result #1 - #91 of 91 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license