The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Todd D. Millstein: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  33. Fine-Grained Access Control with Object-Sensitive Roles. [Citation Graph (, )][DBLP]


  34. An Extensible State Machine Pattern for Interactive Applications. [Citation Graph (, )][DBLP]


  35. Falling Back on Executable Specifications. [Citation Graph (, )][DBLP]


  36. Deriving State Machines from TinyOS Programs Using Symbolic Execution. [Citation Graph (, )][DBLP]


  37. Packrat parsers can support left recursion. [Citation Graph (, )][DBLP]


  38. DRFX: a simple and efficient memory model for concurrent programming languages. [Citation Graph (, )][DBLP]


  39. Towards concurrency refactoring for x10. [Citation Graph (, )][DBLP]


  40. A generic type-and-effect system. [Citation Graph (, )][DBLP]


Search in 0.045secs, Finished in 0.048secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002