Todd D. Millstein

	2010
41		Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble: JavaCOP: Declarative pluggable types for java. ACM Trans. Program. Lang. Syst. 32(2): (2010)
	2009
40		Thorsten Altenkirch, Todd D. Millstein: Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009 ACM 2009
39		Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein: Fine-Grained Access Control with Object-Sensitive Roles. ECOOP 2009: 173-194
38		Shane Markstrum, Robert M. Fuhrer, Todd D. Millstein: Towards concurrency refactoring for x10. PPOPP 2009: 303-304
37		Daniel Marino, Todd D. Millstein: A generic type-and-effect system. TLDI 2009: 39-50
36		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		Brian Chin, Todd D. Millstein: An Extensible State Machine Pattern for Interactive Applications. ECOOP 2008: 566-591
34		Nupur Kothari, Todd D. Millstein, Ramesh Govindan: Deriving State Machines from TinyOS Programs Using Symbolic Execution. IPSN 2008: 271-282
33		Alessandro Warth, James R. Douglass, Todd D. Millstein: Packrat parsers can support left recursion. PEPM 2008: 103-110
	2007
32		Ramakrishna Gummadi, Nupur Kothari, Todd D. Millstein, Ramesh Govindan: Declarative failure recovery for sensor networks. AOSD 2007: 173-184
31		Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein: Enforcing and validating user-defined programming disciplines. PASTE 2007: 85-86
30		Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein: Tasks: language support for event-driven programming. PEPM 2007: 134-143
29		Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan: Reliable and efficient programming abstractions for wireless sensor networks. PLDI 2007: 200-210
	2006
28		Brian Chin, Todd D. Millstein: Responders: Language Support for Interactive Applications. ECOOP 2006: 255-278
27		Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg: Inference of User-Defined Type Qualifiers and Qualifier Rules. ESOP 2006: 264-278
26		Alessandro Warth, Milan Stanojevic, Todd D. Millstein: Statically scoped object adaptation with expanders. OOPSLA 2006: 37-56
25		Chris Andreae, James Noble, Shane Markstrum, Todd D. Millstein: A framework for implementing pluggable type systems. OOPSLA 2006: 57-74
24		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		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		Brian Chin, Shane Markstrum, Todd D. Millstein: Semantic type qualifiers. PLDI 2005: 85-95
21		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		Thomas Ball, Todd D. Millstein, Sriram K. Rajamani: Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. 27(2): 314-343 (2005)
19		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		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		Todd D. Millstein: Practical predicate dispatch. OOPSLA 2004: 345-364
16		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		Dina Q. Goldin, Todd D. Millstein, Ayferi Kutlu: Bounded similarity querying for time-series data. Inf. Comput. 194(2): 203-241 (2004)
	2003
14		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		Sorin Lerner, Todd D. Millstein, Craig Chambers: Automatically proving the correctness of compiler optimizations. PLDI 2003: 220-231
11		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		Todd D. Millstein, Colin Bleckner, Craig Chambers: Modular typechecking for hierarchically extensible datatypes and functions. ICFP 2002: 110-122
9		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		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		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		Todd D. Millstein, Craig Chambers: Modular Statically Typed Multimethods. ECOOP 1999: 279-303
3		Marc Friedman, Alon Y. Levy, Todd D. Millstein: Navigational Plans for Data Integration. Intelligent Information Integration 1999
	1998
2		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

Coauthor Index

1	Paul Adamczyk	[24]
2	Jonathan Aldrich	[24]
3	Thorsten Altenkirch	[40]
4	Chris Andreae	[25] [41]
5	Thomas Ball	[8] [20]
6	Elisa L. A. Baniassad	[24]
7	Colin Bleckner	[10] [16]
8	Craig Chambers	[4] [7] [9] [10] [12] [14] [16] [19] [21] [23]
9	Brian Chin	[22] [27] [28] [31] [35]
10	Curtis Clifton	[7] [23]
11	James R. Douglass	[33]
12	Michael D. Ernst	[1]
13	Matthew Esquivel	[41]
14	Jeffrey Fischer	[30] [39]
15	Brian Foote	[24]
16	Marc Friedman	[3] [5] [6] [11]
17	Christopher Frost	[36]
18	Robert M. Fuhrer	[38]
19	Dina Q. Goldin	[15]
20	Ramesh Govindan	[29] [32] [34]
21	Christian Grothoff	[24]
22	Ramakrishna Gummadi	[29] [32]
23	Alon Y. Halevy (Alon Y. Levy)	[3] [5] [6] [11]
24	Nupur Kothari	[29] [32] [34]
25	Arvind Krishna	[24]
26	Ayferi Kutlu	[15]
27	Gary T. Leavens	[2] [7] [23]
28	K. Rustan M. Leino	[18]
29	Sorin Lerner	[12] [19] [21]
30	Rupak Majumdar	[8] [30] [39]
31	Daniel Marino	[31] [37] [39] [41]
32	Shane Markstrum	[22] [25] [27] [31] [38] [41]
33	Sean McDirmid	[24]
34	James Noble	[25] [41]
35	Jeffrey Overbey	[24]
36	Jens Palsberg	[27]
37	Alex Potanin	[24]
38	Sriram K. Rajamani	[8] [20]
39	Mark Reay	[14]
40	Erika Rice	[21]
41	Jason Ryder	[36]
42	James B. Saxe	[18]
43	Milan Stanojevic	[26]
44	Mandana Vaziri	[24]
45	Alessandro Warth	[26] [33] [36]
46	Daniel S. Weld	[1]

Colors in the list of coauthors