dblp.uni-trier.dewww.uni-trier.de

Todd D. Millstein Vis

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

*2009
39EEJeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein: Fine-Grained Access Control with Object-Sensitive Roles. ECOOP 2009: 173-194
38EEShane Markstrum, Robert M. Fuhrer, Todd D. Millstein: Towards concurrency refactoring for x10. PPOPP 2009: 303-304
37EEDaniel Marino, Todd D. Millstein: A generic type-and-effect system. TLDI 2009: 39-50
36EETodd D. Millstein, Christopher Frost, Jason Ryder, Alessandro Warth: Expressive and modular predicate dispatch for Java. ACM Trans. Program. Lang. Syst. 31(2): (2009)
2008
35EEBrian Chin, Todd D. Millstein: An Extensible State Machine Pattern for Interactive Applications. ECOOP 2008: 566-591
34EENupur Kothari, Todd D. Millstein, Ramesh Govindan: Deriving State Machines from TinyOS Programs Using Symbolic Execution. IPSN 2008: 271-282
33EEAlessandro Warth, James R. Douglass, Todd D. Millstein: Packrat parsers can support left recursion. PEPM 2008: 103-110
2007
32EERamakrishna Gummadi, Nupur Kothari, Todd D. Millstein, Ramesh Govindan: Declarative failure recovery for sensor networks. AOSD 2007: 173-184
31EEBrian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein: Enforcing and validating user-defined programming disciplines. PASTE 2007: 85-86
30EEJeffrey Fischer, Rupak Majumdar, Todd D. Millstein: Tasks: language support for event-driven programming. PEPM 2007: 134-143
29EENupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan: Reliable and efficient programming abstractions for wireless sensor networks. PLDI 2007: 200-210
2006
28EEBrian Chin, Todd D. Millstein: Responders: Language Support for Interactive Applications. ECOOP 2006: 255-278
27EEBrian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg: Inference of User-Defined Type Qualifiers and Qualifier Rules. ESOP 2006: 264-278
26EEAlessandro Warth, Milan Stanojevic, Todd D. Millstein: Statically scoped object adaptation with expanders. OOPSLA 2006: 37-56
25EEChris Andreae, James Noble, Shane Markstrum, Todd D. Millstein: A framework for implementing pluggable type systems. OOPSLA 2006: 57-74
24EEJeffrey 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
23EECurtis 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
22EEBrian Chin, Shane Markstrum, Todd D. Millstein: Semantic type qualifiers. PLDI 2005: 85-95
21EESorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers: Automated soundness proofs for dataflow analyses and transformations via local rules. POPL 2005: 364-377
20EEThomas Ball, Todd D. Millstein, Sriram K. Rajamani: Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. 27(2): 314-343 (2005)
19EESorin 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)
18EEK. 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
17EETodd D. Millstein: Practical predicate dispatch. OOPSLA 2004: 345-364
16EETodd D. Millstein, Colin Bleckner, Craig Chambers: Modular typechecking for hierarchically extensible datatypes and functions. ACM Trans. Program. Lang. Syst. 26(5): 836-889 (2004)
15EEDina Q. Goldin, Todd D. Millstein, Ayferi Kutlu: Bounded similarity querying for time-series data. Inf. Comput. 194(2): 203-241 (2004)
2003
14EETodd 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
12EESorin Lerner, Todd D. Millstein, Craig Chambers: Automatically proving the correctness of compiler optimizations. PLDI 2003: 220-231
11EETodd D. Millstein, Alon Y. Halevy, Marc Friedman: Query containment for data integration systems. J. Comput. Syst. Sci. 66(1): 20-39 (2003)
2002
10EETodd D. Millstein, Colin Bleckner, Craig Chambers: Modular typechecking for hierarchically extensible datatypes and functions. ICFP 2002: 110-122
9EETodd 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
7EECurtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein: MultiJava: modular open classes and symmetric multiple dispatch for Java. OOPSLA 2000: 130-145
6EETodd 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
4EETodd D. Millstein, Craig Chambers: Modular Statically Typed Multimethods. ECOOP 1999: 279-303
3EEMarc Friedman, Alon Y. Levy, Todd D. Millstein: Navigational Plans for Data Integration. Intelligent Information Integration 1999
1998
2EEGary 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)