Search    Browse

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 (15) 2008-2011 (16)
Publication types (Num. hits)
article(10) inproceedings(37) proceedings(1)
Venues (Conferences, Journals, ...)
OOPSLA(7) PLDI(6) ACM Trans. Program. Lang. Syst...(5) ECOOP(5) Inf. Comput.(2) OOPSLA Companion(2) PEPM(2) AAAI/IAAI(1) AOSD(1) ASPLOS(1) Electr. Notes Theor. Comput. S...(1) ESOP(1) ICFP(1) IJCAI(1) Intelligent Information Integr...(1) IPSN(1) More (+10 of total 26)
Authors
Todd D. Millstein(48) Craig Chambers(10) Daniel Marino(7) Shane Markstrum(6) Brian Chin(5) Madanlal Musuvathi(4) Marc Friedman(4) Nupur Kothari(4) Ramesh Govindan(4) Abhayendra Singh(3) Alessandro Warth(3) Alon Y. Levy(3) Gary T. Leavens(3) Rupak Majumdar(3) Satish Narayanasamy(3) Sorin Lerner(3) More (+10 of total 58)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 61 occurrences of 45 keywords
Results
Found 48 publication records. Showing 48 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
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
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
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
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
1Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble JavaCOP: Declarative pluggable types for java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
1Chris Andreae, James Noble, 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
1Brian Chin, Todd D. Millstein Responders: Language Support for Interactive Applications. Search on Bibsonomy ECOOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
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
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
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
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
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
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
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, 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
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
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, 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
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
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
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
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 - #48 of 48 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.