| 2009 |
|---|
| 38 | EE | Shane Markstrum,
Robert M. Fuhrer,
Todd D. Millstein:
Towards concurrency refactoring for x10.
PPOPP 2009: 303-304 |
| 37 | EE | Daniel Marino,
Todd D. Millstein:
A generic type-and-effect system.
TLDI 2009: 39-50 |
| 36 | EE | Todd D. Millstein,
Christopher Frost,
Jason Ryder,
Alessandro Warth:
Expressive and modular predicate dispatch for Java.
ACM Trans. Program. Lang. Syst. 31(2): (2009) |
| 2008 |
|---|
| 35 | EE | Brian Chin,
Todd D. Millstein:
An Extensible State Machine Pattern for Interactive Applications.
ECOOP 2008: 566-591 |
| 34 | EE | Nupur Kothari,
Todd D. Millstein,
Ramesh Govindan:
Deriving State Machines from TinyOS Programs Using Symbolic Execution.
IPSN 2008: 271-282 |
| 33 | EE | Alessandro Warth,
James R. Douglass,
Todd D. Millstein:
Packrat parsers can support left recursion.
PEPM 2008: 103-110 |
| 2007 |
|---|
| 32 | EE | Ramakrishna Gummadi,
Nupur Kothari,
Todd D. Millstein,
Ramesh Govindan:
Declarative failure recovery for sensor networks.
AOSD 2007: 173-184 |
| 31 | EE | Brian Chin,
Daniel Marino,
Shane Markstrum,
Todd D. Millstein:
Enforcing and validating user-defined programming disciplines.
PASTE 2007: 85-86 |
| 30 | EE | Jeffrey Fischer,
Rupak Majumdar,
Todd D. Millstein:
Tasks: language support for event-driven programming.
PEPM 2007: 134-143 |
| 29 | EE | Nupur Kothari,
Ramakrishna Gummadi,
Todd D. Millstein,
Ramesh Govindan:
Reliable and efficient programming abstractions for wireless sensor networks.
PLDI 2007: 200-210 |
| 2006 |
|---|
| 28 | EE | Brian Chin,
Todd D. Millstein:
Responders: Language Support for Interactive Applications.
ECOOP 2006: 255-278 |
| 27 | EE | Brian Chin,
Shane Markstrum,
Todd D. Millstein,
Jens Palsberg:
Inference of User-Defined Type Qualifiers and Qualifier Rules.
ESOP 2006: 264-278 |
| 26 | EE | Alessandro Warth,
Milan Stanojevic,
Todd D. Millstein:
Statically scoped object adaptation with expanders.
OOPSLA 2006: 37-56 |
| 25 | EE | Chris Andreae,
James Noble,
Shane Markstrum,
Todd D. Millstein:
A framework for implementing pluggable type systems.
OOPSLA 2006: 57-74 |
| 24 | EE | Jeffrey 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.
OOPSLA Companion 2006: 940-942 |
| 23 | EE | Curtis Clifton,
Todd D. Millstein,
Gary T. Leavens,
Craig Chambers:
MultiJava: Design rationale, compiler implementation, and applications.
ACM Trans. Program. Lang. Syst. 28(3): 517-575 (2006) |
| 2005 |
|---|
| 22 | EE | Brian Chin,
Shane Markstrum,
Todd D. Millstein:
Semantic type qualifiers.
PLDI 2005: 85-95 |
| 21 | EE | Sorin Lerner,
Todd D. Millstein,
Erika Rice,
Craig Chambers:
Automated soundness proofs for dataflow analyses and transformations via local rules.
POPL 2005: 364-377 |
| 20 | EE | Thomas Ball,
Todd D. Millstein,
Sriram K. Rajamani:
Polymorphic predicate abstraction.
ACM Trans. Program. Lang. Syst. 27(2): 314-343 (2005) |
| 19 | EE | Sorin Lerner,
Todd D. Millstein,
Craig Chambers:
Cobalt: A Language for Writing Provably-Sound Compiler Optimizations.
Electr. Notes Theor. Comput. Sci. 132(1): 5-17 (2005) |
| 18 | EE | K. Rustan M. Leino,
Todd D. Millstein,
James B. Saxe:
Generating error traces from verification-condition counterexamples.
Sci. Comput. Program. 55(1-3): 209-226 (2005) |
| 2004 |
|---|
| 17 | EE | Todd D. Millstein:
Practical predicate dispatch.
OOPSLA 2004: 345-364 |
| 16 | EE | Todd D. Millstein,
Colin Bleckner,
Craig Chambers:
Modular typechecking for hierarchically extensible datatypes and functions.
ACM Trans. Program. Lang. Syst. 26(5): 836-889 (2004) |
| 15 | EE | Dina Q. Goldin,
Todd D. Millstein,
Ayferi Kutlu:
Bounded similarity querying for time-series data.
Inf. Comput. 194(2): 203-241 (2004) |
| 2003 |
|---|
| 14 | EE | Todd D. Millstein,
Mark Reay,
Craig Chambers:
Relaxed MultiJava: balancing extensibility and modular typechecking.
OOPSLA 2003: 224-240 |
| 13 | | Todd D. Millstein:
Static Reasoning about Programs and Queries.
PCK50 2003: 28-34 |
| 12 | EE | Sorin Lerner,
Todd D. Millstein,
Craig Chambers:
Automatically proving the correctness of compiler optimizations.
PLDI 2003: 220-231 |
| 11 | EE | Todd D. Millstein,
Alon Y. Halevy,
Marc Friedman:
Query containment for data integration systems.
J. Comput. Syst. Sci. 66(1): 20-39 (2003) |
| 2002 |
|---|
| 10 | EE | Todd D. Millstein,
Colin Bleckner,
Craig Chambers:
Modular typechecking for hierarchically extensible datatypes and functions.
ICFP 2002: 110-122 |
| 9 | EE | Todd D. Millstein,
Craig Chambers:
Modular Statically Typed Multimethods.
Inf. Comput. 175(1): 76-118 (2002) |
| 2001 |
|---|
| 8 | | Thomas Ball,
Rupak Majumdar,
Todd D. Millstein,
Sriram K. Rajamani:
Automatic Predicate Abstraction of C Programs.
PLDI 2001: 203-213 |
| 2000 |
|---|
| 7 | EE | Curtis Clifton,
Gary T. Leavens,
Craig Chambers,
Todd D. Millstein:
MultiJava: modular open classes and symmetric multiple dispatch for Java.
OOPSLA 2000: 130-145 |
| 6 | EE | Todd D. Millstein,
Alon Y. Levy,
Marc Friedman:
Query Containment for Data Integration Systems.
PODS 2000: 67-75 |
| 1999 |
|---|
| 5 | | Marc Friedman,
Alon Y. Levy,
Todd D. Millstein:
Navigational Plans For Data Integration.
AAAI/IAAI 1999: 67-73 |
| 4 | EE | Todd D. Millstein,
Craig Chambers:
Modular Statically Typed Multimethods.
ECOOP 1999: 279-303 |
| 3 | EE | Marc Friedman,
Alon Y. Levy,
Todd D. Millstein:
Navigational Plans for Data Integration.
Intelligent Information Integration 1999 |
| 1998 |
|---|
| 2 | EE | Gary T. Leavens,
Todd D. Millstein:
Multiple Dispatch as Dispatch on Tuples.
OOPSLA 1998: 374-387 |
| 1997 |
|---|
| 1 | | Michael D. Ernst,
Todd D. Millstein,
Daniel S. Weld:
Automatic SAT-Compilation of Planning Problems.
IJCAI 1997: 1169-1177 |
