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"
  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"
  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: "ppopp"
  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: "OOPSLA"
  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: "PLDI"
  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: "OOPSLA"
  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: "PEPM"
  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: "IJCAI"
  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: "TOPLAS"
  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: "TOPLAS"
  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: "PASTE"
  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: "PODS"
  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: "ipsn"
  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: "PLDI"
  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"
  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: "iandc"
  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: "TOPLAS"
  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: "PEPM"
  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: "SCP"
  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: "TOPLAS"
  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: "PLDI"
  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: "ESOP"
  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"
  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"
  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: "OOPSLA"
  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: "BIRTHDAY"
  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: "AOSD"
  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: "OOPSLA"
  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: "ICFP"
  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: "POPL"
  kind: "inproceedings"
  key: "LernerMRC05"