@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},
}

@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},
}

@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 = {ppopp},
}

@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 = {OOPSLA},
}

@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 = {PLDI},
}

@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 = {OOPSLA},
}

@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 = {PEPM},
}

@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 = {IJCAI},
}

@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 = {TOPLAS},
  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 = {TOPLAS},
  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 = {PASTE},
}

@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 = {PODS},
}

@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 = {ipsn},
}

@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 = {PLDI},
}

@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},
}

@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 = {iandc},
  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 = {TOPLAS},
  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 = {PEPM},
}

@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 = {SCP},
  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 = {TOPLAS},
  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 = {PLDI},
}

@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 = {ESOP},
}

@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},
}

@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},
}

@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 = {OOPSLA},
}

@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 = {BIRTHDAY},
}

@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 = {AOSD},
}

@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 = {OOPSLA},
}

@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 = {ICFP},
}

@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 = {POPL},
}