Alessandro Warth, James R. Douglass, and Todd Millstein
Reliable and Efficient Programming Abstractions for
Wireless Sensor Networks (PLDI 2007)
Nupur Kothari, Ramakrishna Gummadi, Todd Millstein, and Ramesh Govindan
Enforcing and Validating User-Defined Programming Disciplines (PASTE 2007)
Brian Chin, Daniel Marino, Shane Markstrum, and Todd Millstein
Declarative Failure Recovery for Sensor Networks (AOSD 2007)
Ramakrishna Gummadi, Nupur Kothari, Todd Millstein, and Ramesh Govindan
Tasks: Language Support for Event-driven Programming (PEPM 2007)
Jeffrey Fischer, Rupak Majumdar, and Todd Millstein
Statically Scoped Object Adaptation with
Expanders (OOPSLA 2006)
Alessandro Warth, Milan Stanojevic, and Todd Millstein
A Framework for Implementing Pluggable Type Systems
(OOPSLA 2006)
Chris Andreae, James Noble, Shane Markstrum, and Todd Millstein
Mechanized Metatheory for User-Defined Type
Extensions (WMM 2006)
Daniel Marino, Brian Chin, Todd Millstein, Gang Tan, Robert
J. Simmons, and David Walker
Responders: Language Support for Interactive Applications (ECOOP 2006)
Brian Chin and Todd Millstein
MultiJava: Design Rationale, Compiler
Implementation, and Applications (TOPLAS 2006)
Curtis Clifton, Todd Millstein, Gary T. Leavens, and Craig Chambers
Inference of User-Defined Type Qualifiers and Qualifier Rules (ESOP 2006)
Brian Chin, Shane Markstrum,
Todd Millstein, and Jens Palsberg
Modularly Typesafe Interface Dispatch in JPred (FOOL/WOOD 2006)
Christopher Frost and
Todd Millstein
Semantic Type Qualifiers (PLDI 2005)
Brian Chin, Shane Markstrum, and
Todd Millstein
Cobalt: A Language for Writing Provably-Sound Compiler Optimizations (ENTCS 2005)
Sorin Lerner,
Todd Millstein, and Craig Chambers
Polymorphic
Predicate Abstraction (TOPLAS 2005)
Thomas Ball,
Todd Millstein, and Sriram K. Rajamani
Generating error traces from verification-condition counterexamples (SCP 2005)
K. Rustan M. Leino,
Todd Millstein, and James B. Saxe
Automated Soundness Proofs for Dataflow Analyses and
Transformations via Local Rules (POPL 2005)
Sorin Lerner,
Todd Millstein, Erika Rice,
and Craig Chambers
Bounded similarity querying for time-series data (I&C; 2004)
Dina Q. Goldin,
Todd Millstein, and Ayferi Kutlu
Practical Predicate
Dispatch (OOPSLA 2004)
Todd Millstein
Modular
Typechecking for Hierarchically Extensible Datatypes and
Functions (TOPLAS 2004, ICFP 2002)
Todd Millstein, Colin
Bleckner, and
Craig Chambers
Reconciling Software Extensibility with
Modular Program Reasoning (Ph.D. dissertation, 2003)
Todd Millstein
Relaxed MultiJava: Balancing Extensibility and Modular
Typechecking (OOPSLA 2003)
Todd Millstein, Mark Reay, and
Craig Chambers
Automatically Proving the
Correctness of Compiler Optimizations (PLDI 2003)
Sorin Lerner,
Todd Millstein,
and Craig Chambers
Best Paper Award
Query
Containment
for Data Integration Systems (JCSS 2003, PODS 2000)
Todd Millstein, Alon Halevy,
and Marc Friedman
Modular
Statically Typed Multimethods (I&C; 2002, ECOOP '99)
Todd Millstein and Craig
Chambers
Automatic
Predicate Abstraction of C Programs (PLDI 2001)
Thomas Ball, Rupak
Majumdar, Todd Millstein, and Sriram K. Rajamani
MultiJava: Modular Open Classes and Symmetric Multiple
Dispatch for Java (OOPSLA 2000)
Curtis Clifton, Gary
T. Leavens, Craig Chambers, and Todd Millstein
Navigational
Plans for Data Integration (AAAI '99)
Marc Friedman, Alon Levy,
and Todd Millstein
Multiple
Dispatch as Dispatch on Tuples (OOPSLA '98)
Gary T. Leavens and Todd
D. Millstein
Automatic
SAT-Compilation of Planning Problems (IJCAI '97)
Michael D. Ernst,
Todd D.
Millstein, and
Daniel S. Weld