Todd D. Millstein Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)