@inproceedings{ChinM06,
  title = {Responders: Language Support for Interactive Applications},
  author = {Brian Chin and Todd D. Millstein},
  year = {2006},
  doi = {10.1007/11785477_17},
  url = {http://dx.doi.org/10.1007/11785477_17},
  researchr = {https://researchr.org/publication/ChinM06},
  cites = {0},
  citedby = {0},
  pages = {255-278},
  booktitle = {ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings},
  editor = {Dave Thomas},
  volume = {4067},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35726-2},
}

@inproceedings{ErnstMW97,
  title = {Automatic SAT-Compilation of Planning Problems},
  author = {Michael D. Ernst and Todd D. Millstein and Daniel S. Weld},
  year = {1997},
  researchr = {https://researchr.org/publication/ErnstMW97},
  cites = {0},
  citedby = {0},
  pages = {1169-1177},
  booktitle = {IJCAI (1)},
}

@inproceedings{MarkstrumFM09,
  title = {Towards concurrency refactoring for x10},
  author = {Shane Markstrum and Robert M. Fuhrer and Todd D. Millstein},
  year = {2009},
  doi = {10.1145/1504176.1504226},
  url = {http://doi.acm.org/10.1145/1504176.1504226},
  tags = {refactoring},
  researchr = {https://researchr.org/publication/MarkstrumFM09},
  cites = {0},
  citedby = {0},
  pages = {303-304},
  booktitle = {Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009},
  editor = {Daniel A. Reed and Vivek Sarkar},
  publisher = {ACM},
  isbn = {978-1-60558-397-6},
}

@inproceedings{OverbeyFAABGKMMPV06,
  title = {Young guns/object orientation: the next generation},
  author = {Jeffrey Overbey and Brian Foote and Paul Adamczyk and Jonathan Aldrich and Elisa L. A. Baniassad and Christian Grothoff and Arvind Krishna and Sean McDirmid and Todd D. Millstein and Alex Potanin and Mandana Vaziri},
  year = {2006},
  doi = {10.1145/1176617.1176751},
  url = {http://doi.acm.org/10.1145/1176617.1176751},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/OverbeyFAABGKMMPV06},
  cites = {0},
  citedby = {0},
  pages = {940-942},
  booktitle = {Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-491-X},
}

@inproceedings{LernerMC03,
  title = {Automatically proving the correctness of compiler optimizations},
  author = {Sorin Lerner and Todd D. Millstein and Craig Chambers},
  year = {2003},
  doi = {10.1145/781131.781156},
  url = {http://doi.acm.org/10.1145/781131.781156},
  tags = {optimization, compiler},
  researchr = {https://researchr.org/publication/LernerMC03},
  cites = {0},
  citedby = {0},
  pages = {220-231},
  booktitle = {Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003},
  publisher = {ACM},
  isbn = {1-58113-662-5},
}

@inproceedings{Millstein04,
  title = {Practical predicate dispatch},
  author = {Todd D. Millstein},
  year = {2004},
  doi = {10.1145/1028976.1029006},
  url = {http://doi.acm.org/10.1145/1028976.1029006},
  researchr = {https://researchr.org/publication/Millstein04},
  cites = {0},
  citedby = {0},
  pages = {345-364},
  booktitle = {Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004},
  editor = {John M. Vlissides and Douglas C. Schmidt},
  address = {Vancouver, BC, Canada},
  publisher = {ACM},
  isbn = {1-58113-831-8},
}

@inproceedings{BallMMR01,
  title = {Automatic Predicate Abstraction of C Programs},
  author = {Thomas Ball and Rupak Majumdar and Todd D. Millstein and Sriram K. Rajamani},
  year = {2001},
  tags = {C++, abstraction},
  researchr = {https://researchr.org/publication/BallMMR01},
  cites = {0},
  citedby = {0},
  pages = {203-213},
  booktitle = {PLDI},
}

@inproceedings{FischerMM07,
  title = {Tasks: language support for event-driven programming},
  author = {Jeffrey Fischer and Rupak Majumdar and Todd D. Millstein},
  year = {2007},
  doi = {10.1145/1244381.1244403},
  url = {http://doi.acm.org/10.1145/1244381.1244403},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/FischerMM07},
  cites = {0},
  citedby = {0},
  pages = {134-143},
  booktitle = {Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007},
  editor = {Ganesan Ramalingam and Eelco Visser},
  publisher = {ACM},
  isbn = {978-1-59593-620-2},
}

@inproceedings{FriedmanLM99,
  title = {Navigational Plans for Data Integration},
  author = {Marc Friedman and Alon Y. Levy and Todd D. Millstein},
  year = {1999},
  url = {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-23/friedman-ijcai99-iii.ps},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/FriedmanLM99},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the IJCAI-99 Workshop on Intelligent Information Integration, Held on July 31, 1999 in conjunction with the Sixteenth International Joint Conference on Artificial Intelligence City Conference Center, Stockholm, Sweden},
  volume = {23},
  series = {CEUR Workshop Proceedings},
}

@article{MillsteinBC04,
  title = {Modular typechecking for hierarchically extensible datatypes and functions},
  author = {Todd D. Millstein and Colin Bleckner and Craig Chambers},
  year = {2004},
  doi = {10.1145/1018203.1018207},
  url = {http://doi.acm.org/10.1145/1018203.1018207},
  researchr = {https://researchr.org/publication/MillsteinBC04},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {26},
  number = {5},
  pages = {836-889},
}

@article{MillsteinFRW09,
  title = {Expressive and modular predicate dispatch for Java},
  author = {Todd D. Millstein and Christopher Frost and Jason Ryder and Alessandro Warth},
  year = {2009},
  doi = {10.1145/1462166.1462168},
  url = {http://doi.acm.org/10.1145/1462166.1462168},
  tags = {Java},
  researchr = {https://researchr.org/publication/MillsteinFRW09},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {31},
  number = {2},
}

@inproceedings{ChinMMM07,
  title = {Enforcing and validating user-defined programming disciplines},
  author = {Brian Chin and Daniel Marino and Shane Markstrum and Todd D. Millstein},
  year = {2007},
  doi = {10.1145/1251535.1251550},
  url = {http://doi.acm.org/10.1145/1251535.1251550},
  tags = {programming},
  researchr = {https://researchr.org/publication/ChinMMM07},
  cites = {0},
  citedby = {0},
  pages = {85-86},
  booktitle = {Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 07, San Diego, California, USA, June 13-14, 2007},
  editor = {Manuvir Das and Dan Grossman},
  publisher = {ACM},
  isbn = {978-1-59593-595-3},
}

@inproceedings{MillsteinLF00,
  title = {Query Containment for Data Integration Systems},
  author = {Todd D. Millstein and Alon Y. Levy and Marc Friedman},
  year = {2000},
  doi = {10.1145/335168.335208},
  url = {http://doi.acm.org/10.1145/335168.335208},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/MillsteinLF00},
  cites = {0},
  citedby = {0},
  pages = {67-75},
  booktitle = {Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA},
  publisher = {ACM},
  isbn = {1-58113-214-X},
}

@inproceedings{KothariMG08,
  title = {Deriving State Machines from TinyOS Programs Using Symbolic Execution},
  author = {Nupur Kothari and Todd D. Millstein and Ramesh Govindan},
  year = {2008},
  doi = {10.1109/IPSN.2008.62},
  url = {http://doi.ieeecomputersociety.org/10.1109/IPSN.2008.62},
  tags = {state machines},
  researchr = {https://researchr.org/publication/KothariMG08},
  cites = {0},
  citedby = {0},
  pages = {271-282},
  booktitle = {Proceedings of the 7th International Conference on Information Processing in Sensor Networks, IPSN 2008, St. Louis, Missouri, USA, April 22-24, 2008},
  publisher = {IEEE Computer Society},
}

@inproceedings{KothariGMG07,
  title = {Reliable and efficient programming abstractions for wireless sensor networks},
  author = {Nupur Kothari and Ramakrishna Gummadi and Todd D. Millstein and Ramesh Govindan},
  year = {2007},
  doi = {10.1145/1250734.1250757},
  url = {http://doi.acm.org/10.1145/1250734.1250757},
  tags = {wireless sensor networks, programming, abstraction},
  researchr = {https://researchr.org/publication/KothariGMG07},
  cites = {0},
  citedby = {0},
  pages = {200-210},
  booktitle = {Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007},
  editor = {Jeanne Ferrante and Kathryn S. McKinley},
  publisher = {ACM},
  isbn = {978-1-59593-633-2},
}

@inproceedings{MillsteinC99,
  title = {Modular Statically Typed Multimethods},
  author = {Todd D. Millstein and Craig Chambers},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1628/16280279.htm},
  researchr = {https://researchr.org/publication/MillsteinC99},
  cites = {0},
  citedby = {0},
  pages = {279-303},
  booktitle = {ECOOP 99 - Object-Oriented Programming, 13th European Conference, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  editor = {Rachid Guerraoui},
  volume = {1628},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66156-5},
}

@article{GoldinMK04,
  title = {Bounded similarity querying for time-series data},
  author = {Dina Q. Goldin and Todd D. Millstein and Ayferi Kutlu},
  year = {2004},
  doi = {10.1016/j.ic.2004.07.001},
  url = {http://dx.doi.org/10.1016/j.ic.2004.07.001},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/GoldinMK04},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {194},
  number = {2},
  pages = {203-241},
}

@inproceedings{LeavensM98,
  title = {Multiple Dispatch as Dispatch on Tuples},
  author = {Gary T. Leavens and Todd D. Millstein},
  year = {1998},
  doi = {10.1145/286936.286977},
  url = {http://doi.acm.org/10.1145/286936.286977},
  researchr = {https://researchr.org/publication/LeavensM98},
  cites = {0},
  citedby = {0},
  pages = {374-387},
  booktitle = {OOPSLA},
}

@article{BallMR05,
  title = {Polymorphic predicate abstraction},
  author = {Thomas Ball and Todd D. Millstein and Sriram K. Rajamani},
  year = {2005},
  doi = {10.1145/1057387.1057391},
  url = {http://doi.acm.org/10.1145/1057387.1057391},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/BallMR05},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {27},
  number = {2},
  pages = {314-343},
}

@inproceedings{WarthDM08,
  title = {Packrat parsers can support left recursion},
  author = {Alessandro Warth and James R. Douglass and Todd D. Millstein},
  year = {2008},
  doi = {10.1145/1328408.1328424},
  url = {http://doi.acm.org/10.1145/1328408.1328424},
  tags = {parsing},
  researchr = {https://researchr.org/publication/WarthDM08},
  cites = {0},
  citedby = {0},
  pages = {103-110},
  booktitle = {Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008},
  editor = {Robert Glück and Oege de Moor},
  publisher = {ACM},
  isbn = {978-1-59593-977-7},
}

@article{LeinoMS05,
  title = {Generating error traces from verification-condition counterexamples},
  author = {K. Rustan M. Leino and Todd D. Millstein and James B. Saxe},
  year = {2005},
  doi = {10.1016/j.scico.2004.05.016},
  url = {http://dx.doi.org/10.1016/j.scico.2004.05.016},
  researchr = {https://researchr.org/publication/LeinoMS05},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {55},
  number = {1-3},
  pages = {209-226},
}

@article{MarkstrumMEMAN10,
  title = {JavaCOP: Declarative pluggable types for java},
  author = {Shane Markstrum and Daniel Marino and Matthew Esquivel and Todd D. Millstein and Chris Andreae and James Noble},
  year = {2010},
  doi = {10.1145/1667048.1667049},
  url = {http://doi.acm.org/10.1145/1667048.1667049},
  tags = {Java},
  researchr = {https://researchr.org/publication/MarkstrumMEMAN10},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {32},
  number = {2},
}

@inproceedings{ChinMM05,
  title = {Semantic type qualifiers},
  author = {Brian Chin and Shane Markstrum and Todd D. Millstein},
  year = {2005},
  doi = {10.1145/1065010.1065022},
  url = {http://doi.acm.org/10.1145/1065010.1065022},
  researchr = {https://researchr.org/publication/ChinMM05},
  cites = {0},
  citedby = {0},
  pages = {85-95},
  booktitle = {Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005},
  editor = {Vivek Sarkar and Mary W. Hall},
  publisher = {ACM},
  isbn = {1-59593-056-6},
}

@inproceedings{ChinMMP06,
  title = {Inference of User-Defined Type Qualifiers and Qualifier Rules},
  author = {Brian Chin and Shane Markstrum and Todd D. Millstein and Jens Palsberg},
  year = {2006},
  doi = {10.1007/11693024_18},
  url = {http://dx.doi.org/10.1007/11693024_18},
  tags = {type inference, rule-based, rules},
  researchr = {https://researchr.org/publication/ChinMMP06},
  cites = {0},
  citedby = {0},
  pages = {264-278},
  booktitle = {Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings},
  editor = {Peter Sestoft},
  volume = {3924},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33095-X},
}

@inproceedings{CliftonLCM00,
  title = {MultiJava: modular open classes and symmetric multiple dispatch for Java},
  author = {Curtis Clifton and Gary T. Leavens and Craig Chambers and Todd D. Millstein},
  year = {2000},
  doi = {10.1145/353171.353181},
  url = {http://doi.acm.org/10.1145/353171.353181},
  tags = {Java, source-to-source, open-source},
  researchr = {https://researchr.org/publication/CliftonLCM00},
  cites = {0},
  citedby = {0},
  pages = {130-145},
  booktitle = {OOPSLA},
}

@inproceedings{ChinM08,
  title = {An Extensible State Machine Pattern for Interactive Applications},
  author = {Brian Chin and Todd D. Millstein},
  year = {2008},
  doi = {10.1007/978-3-540-70592-5_24},
  url = {http://dx.doi.org/10.1007/978-3-540-70592-5_24},
  tags = {state machines},
  researchr = {https://researchr.org/publication/ChinM08},
  cites = {0},
  citedby = {0},
  pages = {566-591},
  booktitle = {ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings},
  editor = {Jan Vitek},
  volume = {5142},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70591-8},
}

@inproceedings{FriedmanLM99:0,
  title = {Navigational Plans For Data Integration},
  author = {Marc Friedman and Alon Y. Levy and Todd D. Millstein},
  year = {1999},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/FriedmanLM99%3A0},
  cites = {0},
  citedby = {0},
  pages = {67-73},
  booktitle = {AAAI/IAAI},
}

@inproceedings{AndreaeNMM06,
  title = {A framework for implementing pluggable type systems},
  author = {Chris Andreae and James Noble and Shane Markstrum and Todd D. Millstein},
  year = {2006},
  doi = {10.1145/1167473.1167479},
  url = {http://doi.acm.org/10.1145/1167473.1167479},
  tags = {type system},
  researchr = {https://researchr.org/publication/AndreaeNMM06},
  cites = {0},
  citedby = {0},
  pages = {57-74},
  booktitle = {Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-348-4},
}

@inproceedings{Millstein03,
  title = {Static Reasoning about Programs and Queries},
  author = {Todd D. Millstein},
  year = {2003},
  researchr = {https://researchr.org/publication/Millstein03},
  cites = {0},
  citedby = {0},
  pages = {28-34},
  booktitle = {PCK50 - Principles of Computing & Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, California, USA, June 8th, 2003},
  editor = {Dina Q. Goldin and Alexander A. Shvartsman and Scott A. Smolka and Jeffrey Scott Vitter and Stanley B. Zdonik},
  publisher = {ACM},
  isbn = {1-58113-604-8},
}

@inproceedings{GummadiKMG07,
  title = {Declarative failure recovery for sensor networks},
  author = {Ramakrishna Gummadi and Nupur Kothari and Todd D. Millstein and Ramesh Govindan},
  year = {2007},
  doi = {10.1145/1218563.1218583},
  url = {http://doi.acm.org/10.1145/1218563.1218583},
  researchr = {https://researchr.org/publication/GummadiKMG07},
  cites = {0},
  citedby = {0},
  pages = {173-184},
  booktitle = {Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007},
  editor = {Brian M. Barry and Oege de Moor},
  volume = {208},
  series = {ACM International Conference Proceeding Series},
  publisher = {ACM},
  isbn = {1-59593-615-7},
}

@inproceedings{WarthSM06,
  title = {Statically scoped object adaptation with expanders},
  author = {Alessandro Warth and Milan Stanojevic and Todd D. Millstein},
  year = {2006},
  doi = {10.1145/1167473.1167477},
  url = {http://doi.acm.org/10.1145/1167473.1167477},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/WarthSM06},
  cites = {0},
  citedby = {0},
  pages = {37-56},
  booktitle = {Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-348-4},
}

@inproceedings{MillsteinBC02,
  title = {Modular typechecking for hierarchically extensible datatypes and functions},
  author = {Todd D. Millstein and Colin Bleckner and Craig Chambers},
  year = {2002},
  doi = {10.1145/581478.581489},
  url = {http://doi.acm.org/10.1145/581478.581489},
  researchr = {https://researchr.org/publication/MillsteinBC02},
  cites = {0},
  citedby = {0},
  pages = {110-122},
  booktitle = {Proceedings of the seventh {ACM SIGPLAN} international conference on Functional Programming {(ICFP 2002)}},
}

@inproceedings{LernerMRC05,
  title = {Automated soundness proofs for dataflow analyses and transformations via local rules},
  author = {Sorin Lerner and Todd D. Millstein and Erika Rice and Craig Chambers},
  year = {2005},
  doi = {10.1145/1040305.1040335},
  url = {http://doi.acm.org/10.1145/1040305.1040335},
  tags = {rule-based, rules, transformation},
  researchr = {https://researchr.org/publication/LernerMRC05},
  cites = {0},
  citedby = {0},
  pages = {364-377},
  booktitle = {Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005},
  editor = {Jens Palsberg and Martín Abadi},
  publisher = {ACM},
  isbn = {1-58113-830-X},
}