publications:
- title: "Responders: Language Support for Interactive Applications"
  author:
  - name: "Brian Chin"
    link: "https://researchr.org/alias/brian-chin"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11785477_17"
  links:
    doi: "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:
  - name: "Dave Thomas"
    link: "https://researchr.org/alias/dave-thomas"
  volume: "4067"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-35726-2"
  kind: "inproceedings"
  key: "ChinM06"
- title: "Automatic SAT-Compilation of Planning Problems"
  author:
  - name: "Michael D. Ernst"
    link: "https://researchr.org/alias/michael-d.-ernst"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Daniel S. Weld"
    link: "https://researchr.org/alias/daniel-s.-weld"
  year: "1997"
  researchr: "https://researchr.org/publication/ErnstMW97"
  cites: 0
  citedby: 0
  pages: "1169-1177"
  booktitle: "IJCAI (1)"
  kind: "inproceedings"
  key: "ErnstMW97"
- title: "Towards concurrency refactoring for x10"
  author:
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Robert M. Fuhrer"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/fuhrer.index.html"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1504176.1504226"
  links:
    doi: "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:
  - name: "Daniel A. Reed"
    link: "https://researchr.org/alias/daniel-a.-reed"
  - name: "Vivek Sarkar"
    link: "https://researchr.org/alias/vivek-sarkar"
  publisher: "ACM"
  isbn: "978-1-60558-397-6"
  kind: "inproceedings"
  key: "MarkstrumFM09"
- title: "Young guns/object orientation: the next generation"
  author:
  - name: "Jeffrey Overbey"
    link: "http://jeff.over.bz/"
  - name: "Brian Foote"
    link: "https://researchr.org/alias/brian-foote"
  - name: "Paul Adamczyk"
    link: "https://researchr.org/alias/paul-adamczyk"
  - name: "Jonathan Aldrich"
    link: "https://researchr.org/alias/jonathan-aldrich"
  - name: "Elisa L. A. Baniassad"
    link: "http://www.cse.cuhk.edu.hk/~elisa/index.html"
  - name: "Christian Grothoff"
    link: "https://researchr.org/alias/christian-grothoff"
  - name: "Arvind Krishna"
    link: "https://researchr.org/alias/arvind-krishna"
  - name: "Sean McDirmid"
    link: "https://researchr.org/alias/sean-mcdirmid"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Alex Potanin"
    link: "https://researchr.org/alias/alex-potanin"
  - name: "Mandana Vaziri"
    link: "https://researchr.org/alias/mandana-vaziri"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1176617.1176751"
  links:
    doi: "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:
  - name: "Peri L. Tarr"
    link: "https://researchr.org/alias/peri-l.-tarr"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  publisher: "ACM"
  isbn: "1-59593-491-X"
  kind: "inproceedings"
  key: "OverbeyFAABGKMMPV06"
- title: "Automatically proving the correctness of compiler optimizations"
  author:
  - name: "Sorin Lerner"
    link: "http://cseweb.ucsd.edu/~lerner/"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Craig Chambers"
    link: "https://researchr.org/alias/craig-chambers"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/781131.781156"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "LernerMC03"
- title: "Practical predicate dispatch"
  author:
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1028976.1029006"
  links:
    doi: "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:
  - name: "John M. Vlissides"
    link: "https://researchr.org/alias/john-m.-vlissides"
  - name: "Douglas C. Schmidt"
    link: "https://researchr.org/alias/douglas-c.-schmidt"
  address: "Vancouver, BC, Canada"
  publisher: "ACM"
  isbn: "1-58113-831-8"
  kind: "inproceedings"
  key: "Millstein04"
- title: "Automatic Predicate Abstraction of C Programs"
  author:
  - name: "Thomas Ball"
    link: "https://researchr.org/alias/thomas-ball"
  - name: "Rupak Majumdar"
    link: "https://researchr.org/alias/rupak-majumdar"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Sriram K. Rajamani"
    link: "https://researchr.org/alias/sriram-k.-rajamani"
  year: "2001"
  tags:
  - "C++"
  - "abstraction"
  researchr: "https://researchr.org/publication/BallMMR01"
  cites: 0
  citedby: 0
  pages: "203-213"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "BallMMR01"
- title: "Tasks: language support for event-driven programming"
  author:
  - name: "Jeffrey Fischer"
    link: "https://researchr.org/alias/jeffrey-fischer"
  - name: "Rupak Majumdar"
    link: "https://researchr.org/alias/rupak-majumdar"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1244381.1244403"
  links:
    doi: "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:
  - name: "Ganesan Ramalingam"
    link: "http://research.microsoft.com/en-us/um/people/grama/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  publisher: "ACM"
  isbn: "978-1-59593-620-2"
  kind: "inproceedings"
  key: "FischerMM07"
- title: "Navigational Plans for Data Integration"
  author:
  - name: "Marc Friedman"
    link: "https://researchr.org/alias/marc-friedman"
  - name: "Alon Y. Levy"
    link: "https://researchr.org/alias/alon-y.-levy"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "1999"
  doi: "http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-23/friedman-ijcai99-iii.ps"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FriedmanLM99"
- title: "Modular typechecking for hierarchically extensible datatypes and functions"
  author:
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Colin Bleckner"
    link: "https://researchr.org/alias/colin-bleckner"
  - name: "Craig Chambers"
    link: "https://researchr.org/alias/craig-chambers"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1018203.1018207"
  links:
    doi: "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"
  kind: "article"
  key: "MillsteinBC04"
- title: "Expressive and modular predicate dispatch for Java"
  author:
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Christopher Frost"
    link: "https://researchr.org/alias/christopher-frost"
  - name: "Jason Ryder"
    link: "https://researchr.org/alias/jason-ryder"
  - name: "Alessandro Warth"
    link: "https://researchr.org/alias/alessandro-warth"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1462166.1462168"
  links:
    doi: "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"
  kind: "article"
  key: "MillsteinFRW09"
- title: "Enforcing and validating user-defined programming disciplines"
  author:
  - name: "Brian Chin"
    link: "https://researchr.org/alias/brian-chin"
  - name: "Daniel Marino"
    link: "https://researchr.org/alias/daniel-marino"
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1251535.1251550"
  links:
    doi: "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:
  - name: "Manuvir Das"
    link: "https://researchr.org/alias/manuvir-das"
  - name: "Dan Grossman"
    link: "https://researchr.org/alias/dan-grossman"
  publisher: "ACM"
  isbn: "978-1-59593-595-3"
  kind: "inproceedings"
  key: "ChinMMM07"
- title: "Query Containment for Data Integration Systems"
  author:
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Alon Y. Levy"
    link: "https://researchr.org/alias/alon-y.-levy"
  - name: "Marc Friedman"
    link: "https://researchr.org/alias/marc-friedman"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/335168.335208"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "MillsteinLF00"
- title: "Deriving State Machines from TinyOS Programs Using Symbolic Execution"
  author:
  - name: "Nupur Kothari"
    link: "https://researchr.org/alias/nupur-kothari"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Ramesh Govindan"
    link: "https://researchr.org/alias/ramesh-govindan"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/IPSN.2008.62"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "KothariMG08"
- title: "Reliable and efficient programming abstractions for wireless sensor networks"
  author:
  - name: "Nupur Kothari"
    link: "https://researchr.org/alias/nupur-kothari"
  - name: "Ramakrishna Gummadi"
    link: "https://researchr.org/alias/ramakrishna-gummadi"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Ramesh Govindan"
    link: "https://researchr.org/alias/ramesh-govindan"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1250734.1250757"
  links:
    doi: "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:
  - name: "Jeanne Ferrante"
    link: "https://researchr.org/alias/jeanne-ferrante"
  - name: "Kathryn S. McKinley"
    link: "https://researchr.org/alias/kathryn-s.-mckinley"
  publisher: "ACM"
  isbn: "978-1-59593-633-2"
  kind: "inproceedings"
  key: "KothariGMG07"
- title: "Modular Statically Typed Multimethods"
  author:
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Craig Chambers"
    link: "https://researchr.org/alias/craig-chambers"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1628/16280279.htm"
  links:
    doi: "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:
  - name: "Rachid Guerraoui"
    link: "https://researchr.org/alias/rachid-guerraoui"
  volume: "1628"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66156-5"
  kind: "inproceedings"
  key: "MillsteinC99"
- title: "Bounded similarity querying for time-series data"
  author:
  - name: "Dina Q. Goldin"
    link: "https://researchr.org/alias/dina-q.-goldin"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Ayferi Kutlu"
    link: "https://researchr.org/alias/ayferi-kutlu"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.ic.2004.07.001"
  links:
    doi: "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"
  kind: "article"
  key: "GoldinMK04"
- title: "Multiple Dispatch as Dispatch on Tuples"
  author:
  - name: "Gary T. Leavens"
    link: "https://researchr.org/alias/gary-t.-leavens"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/286936.286977"
  links:
    doi: "http://doi.acm.org/10.1145/286936.286977"
  researchr: "https://researchr.org/publication/LeavensM98"
  cites: 0
  citedby: 0
  pages: "374-387"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "LeavensM98"
- title: "Polymorphic predicate abstraction"
  author:
  - name: "Thomas Ball"
    link: "https://researchr.org/alias/thomas-ball"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Sriram K. Rajamani"
    link: "https://researchr.org/alias/sriram-k.-rajamani"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1057387.1057391"
  links:
    doi: "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"
  kind: "article"
  key: "BallMR05"
- title: "Packrat parsers can support left recursion"
  author:
  - name: "Alessandro Warth"
    link: "https://researchr.org/alias/alessandro-warth"
  - name: "James R. Douglass"
    link: "https://researchr.org/alias/james-r.-douglass"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1328408.1328424"
  links:
    doi: "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:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  publisher: "ACM"
  isbn: "978-1-59593-977-7"
  kind: "inproceedings"
  key: "WarthDM08"
- title: "Generating error traces from verification-condition counterexamples"
  author:
  - name: "K. Rustan M. Leino"
    link: "https://researchr.org/alias/k.-rustan-m.-leino"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "James B. Saxe"
    link: "https://researchr.org/alias/james-b.-saxe"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.scico.2004.05.016"
  links:
    doi: "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"
  kind: "article"
  key: "LeinoMS05"
- title: "JavaCOP: Declarative pluggable types for java"
  author:
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Daniel Marino"
    link: "https://researchr.org/alias/daniel-marino"
  - name: "Matthew Esquivel"
    link: "https://researchr.org/alias/matthew-esquivel"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Chris Andreae"
    link: "https://researchr.org/alias/chris-andreae"
  - name: "James Noble"
    link: "http://homepages.ecs.vuw.ac.nz/~kjx/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1667048.1667049"
  links:
    doi: "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"
  kind: "article"
  key: "MarkstrumMEMAN10"
- title: "Semantic type qualifiers"
  author:
  - name: "Brian Chin"
    link: "https://researchr.org/alias/brian-chin"
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1065010.1065022"
  links:
    doi: "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:
  - name: "Vivek Sarkar"
    link: "https://researchr.org/alias/vivek-sarkar"
  - name: "Mary W. Hall"
    link: "https://researchr.org/alias/mary-w.-hall"
  publisher: "ACM"
  isbn: "1-59593-056-6"
  kind: "inproceedings"
  key: "ChinMM05"
- title: "Inference of User-Defined Type Qualifiers and Qualifier Rules"
  author:
  - name: "Brian Chin"
    link: "https://researchr.org/alias/brian-chin"
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11693024_18"
  links:
    doi: "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:
  - name: "Peter Sestoft"
    link: "https://researchr.org/alias/peter-sestoft"
  volume: "3924"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-33095-X"
  kind: "inproceedings"
  key: "ChinMMP06"
- title: "MultiJava: modular open classes and symmetric multiple dispatch for Java"
  author:
  - name: "Curtis Clifton"
    link: "https://researchr.org/alias/curtis-clifton"
  - name: "Gary T. Leavens"
    link: "https://researchr.org/alias/gary-t.-leavens"
  - name: "Craig Chambers"
    link: "https://researchr.org/alias/craig-chambers"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/353171.353181"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CliftonLCM00"
- title: "An Extensible State Machine Pattern for Interactive Applications"
  author:
  - name: "Brian Chin"
    link: "https://researchr.org/alias/brian-chin"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-70592-5_24"
  links:
    doi: "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:
  - name: "Jan Vitek"
    link: "http://www.cs.purdue.edu/homes/jv"
  volume: "5142"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70591-8"
  kind: "inproceedings"
  key: "ChinM08"
- title: "Navigational Plans For Data Integration"
  author:
  - name: "Marc Friedman"
    link: "https://researchr.org/alias/marc-friedman"
  - name: "Alon Y. Levy"
    link: "https://researchr.org/alias/alon-y.-levy"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "1999"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/FriedmanLM99%3A0"
  cites: 0
  citedby: 0
  pages: "67-73"
  booktitle: "AAAI/IAAI"
  kind: "inproceedings"
  key: "FriedmanLM99:0"
- title: "A framework for implementing pluggable type systems"
  author:
  - name: "Chris Andreae"
    link: "https://researchr.org/alias/chris-andreae"
  - name: "James Noble"
    link: "http://homepages.ecs.vuw.ac.nz/~kjx/"
  - name: "Shane Markstrum"
    link: "http://www.eg.bucknell.edu/~sm053/"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1167473.1167479"
  links:
    doi: "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, October 22-26, 2006, Portland, Oregon, USA"
  editor:
  - name: "Peri L. Tarr"
    link: "http://portal.acm.org/author_page.cfm?id=81100131551&coll=GUIDE&dl=GUIDE&trk=0&CFID=51133021&CFTOKEN=87963901"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  publisher: "ACM"
  isbn: "1-59593-348-4"
  kind: "inproceedings"
  key: "AndreaeNMM06"
- title: "Static Reasoning about Programs and Queries"
  author:
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  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:
  - name: "Dina Q. Goldin"
    link: "https://researchr.org/alias/dina-q.-goldin"
  - name: "Alexander A. Shvartsman"
    link: "https://researchr.org/alias/alexander-a.-shvartsman"
  - name: "Scott A. Smolka"
    link: "https://researchr.org/alias/scott-a.-smolka"
  - name: "Jeffrey Scott Vitter"
    link: "https://researchr.org/alias/jeffrey-scott-vitter"
  - name: "Stanley B. Zdonik"
    link: "https://researchr.org/alias/stanley-b.-zdonik"
  publisher: "ACM"
  isbn: "1-58113-604-8"
  kind: "inproceedings"
  key: "Millstein03"
- title: "Declarative failure recovery for sensor networks"
  author:
  - name: "Ramakrishna Gummadi"
    link: "https://researchr.org/alias/ramakrishna-gummadi"
  - name: "Nupur Kothari"
    link: "https://researchr.org/alias/nupur-kothari"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Ramesh Govindan"
    link: "https://researchr.org/alias/ramesh-govindan"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1218563.1218583"
  links:
    doi: "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:
  - name: "Brian M. Barry"
    link: "https://researchr.org/alias/brian-m.-barry"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  volume: "208"
  series: "ACM International Conference Proceeding Series"
  publisher: "ACM"
  isbn: "1-59593-615-7"
  kind: "inproceedings"
  key: "GummadiKMG07"
- title: "Statically scoped object adaptation with expanders"
  author:
  - name: "Alessandro Warth"
    link: "https://researchr.org/alias/alessandro-warth"
  - name: "Milan Stanojevic"
    link: "https://researchr.org/alias/milan-stanojevic"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1167473.1167477"
  links:
    doi: "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, October 22-26, 2006, Portland, Oregon, USA"
  editor:
  - name: "Peri L. Tarr"
    link: "http://portal.acm.org/author_page.cfm?id=81100131551&coll=GUIDE&dl=GUIDE&trk=0&CFID=51133021&CFTOKEN=87963901"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  publisher: "ACM"
  isbn: "1-59593-348-4"
  kind: "inproceedings"
  key: "WarthSM06"
- title: "Modular typechecking for hierarchically extensible datatypes and functions"
  author:
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Colin Bleckner"
    link: "https://researchr.org/alias/colin-bleckner"
  - name: "Craig Chambers"
    link: "https://researchr.org/alias/craig-chambers"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/581478.581489"
  links:
    doi: "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)"
  kind: "inproceedings"
  key: "MillsteinBC02"
- title: "Automated soundness proofs for dataflow analyses and transformations via local rules"
  author:
  - name: "Sorin Lerner"
    link: "http://cseweb.ucsd.edu/~lerner/"
  - name: "Todd D. Millstein"
    link: "http://www.cs.ucla.edu/~todd/"
  - name: "Erika Rice"
    link: "https://researchr.org/alias/erika-rice"
  - name: "Craig Chambers"
    link: "https://researchr.org/alias/craig-chambers"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1040305.1040335"
  links:
    doi: "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:
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Martín Abadi"
    link: "https://researchr.org/alias/mart%C3%ADn-abadi"
  publisher: "ACM"
  isbn: "1-58113-830-X"
  kind: "inproceedings"
  key: "LernerMRC05"