@inproceedings{KunduLG07,
  title = {Automated refinement checking of concurrent systems},
  author = {Sudipta Kundu and Sorin Lerner and Rajesh Gupta},
  year = {2007},
  doi = {10.1145/1326073.1326139},
  url = {http://doi.acm.org/10.1145/1326073.1326139},
  tags = {refinement},
  researchr = {https://researchr.org/publication/KunduLG07},
  cites = {0},
  citedby = {0},
  pages = {318-325},
  booktitle = {2007 International Conference on Computer-Aided Design (ICCAD 07), November 5-8, 2007, San Jose, CA, USA},
  editor = {Georges G. E. Gielen},
  publisher = {IEEE},
  isbn = {1-4244-1382-6},
}

@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{TateSTL09,
  title = {Equality saturation: a new approach to optimization},
  author = {Ross Tate and Michael Stepp and Zachary Tatlock and Sorin Lerner},
  year = {2009},
  doi = {10.1145/1480881.1480915},
  url = {http://doi.acm.org/10.1145/1480881.1480915},
  tags = {optimization, systematic-approach},
  researchr = {https://researchr.org/publication/TateSTL09},
  cites = {0},
  citedby = {0},
  pages = {264-276},
  booktitle = {Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009},
  editor = {Zhong Shao and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {978-1-60558-379-2},
}

@inproceedings{KunduLG08,
  title = {Validating High-Level Synthesis},
  author = {Sudipta Kundu and Sorin Lerner and Rajesh Gupta},
  year = {2008},
  doi = {10.1007/978-3-540-70545-1_44},
  url = {http://dx.doi.org/10.1007/978-3-540-70545-1_44},
  researchr = {https://researchr.org/publication/KunduLG08},
  cites = {0},
  citedby = {0},
  pages = {459-472},
  booktitle = {Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
  editor = {Aarti Gupta and Sharad Malik},
  volume = {5123},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70543-7},
}

@article{LernerMC05,
  title = {Cobalt: A Language for Writing Provably-Sound Compiler Optimizations},
  author = {Sorin Lerner and Todd D. Millstein and Craig Chambers},
  year = {2005},
  doi = {10.1016/j.entcs.2005.03.022},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.03.022},
  tags = {optimization, writing, compiler},
  researchr = {https://researchr.org/publication/LernerMC05},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {132},
  number = {1},
  pages = {5-17},
}

@inproceedings{DasLS02,
  title = {ESP: Path-Sensitive Program Verification in Polynomial Time},
  author = {Manuvir Das and Sorin Lerner and Mark Seigle},
  year = {2002},
  doi = {10.1145/512529.512538},
  url = {http://doi.acm.org/10.1145/512529.512538},
  tags = {program verification},
  researchr = {https://researchr.org/publication/DasLS02},
  cites = {0},
  citedby = {0},
  pages = {57-68},
  booktitle = {PLDI},
}

@inproceedings{TatlockTSJL08,
  title = {Deep typechecking and refactoring},
  author = {Zachary Tatlock and Chris Tucker and David Shuffelton and Ranjit Jhala and Sorin Lerner},
  year = {2008},
  doi = {10.1145/1449764.1449768},
  url = {http://doi.acm.org/10.1145/1449764.1449768},
  tags = {programming languages, semantics, rule-based, Java, program verification, refactoring, type system, rule-based refactoring, web applications, database, systematic-approach, query language},
  researchr = {https://researchr.org/publication/TatlockTSJL08},
  cites = {0},
  citedby = {1},
  pages = {37-52},
  booktitle = {Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA},
  editor = {Gail E. Harris},
  publisher = {ACM},
  isbn = {978-1-60558-215-3},
}

@inproceedings{ShonleGL07,
  title = {Beyond refactoring: a framework for modular maintenance of crosscutting design idioms},
  author = {Macneil Shonle and William G. Griswold and Sorin Lerner},
  year = {2007},
  doi = {10.1145/1287624.1287650},
  url = {http://doi.acm.org/10.1145/1287624.1287650},
  tags = {refactoring, maintenance, design},
  researchr = {https://researchr.org/publication/ShonleGL07},
  cites = {0},
  citedby = {0},
  pages = {175-184},
  booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering},
  editor = {Ivica Crnkovic and Antonia Bertolino},
  publisher = {ACM},
  isbn = {978-1-59593-811-4},
}

@inproceedings{JangJLS10,
  title = {An empirical study of privacy-violating information flows in JavaScript web applications},
  author = {Dongseok Jang and Ranjit Jhala and Sorin Lerner and Hovav Shacham},
  year = {2010},
  doi = {10.1145/1866307.1866339},
  url = {http://doi.acm.org/10.1145/1866307.1866339},
  tags = {empirical, JavaScript, data-flow, web applications},
  researchr = {https://researchr.org/publication/JangJLS10},
  cites = {0},
  citedby = {0},
  pages = {270-283},
  booktitle = {Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010},
  editor = {Ehab Al-Shaer and Angelos D. Keromytis and Vitaly Shmatikov},
  publisher = {ACM},
  isbn = {978-1-4503-0245-6},
}

@inproceedings{AdamsBDLRSW02,
  title = {Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis},
  author = {Stephen Adams and Thomas Ball and Manuvir Das and Sorin Lerner and Sriram K. Rajamani and Mark Seigle and Westley Weimer},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2477/24770230.htm},
  tags = {analysis, data-flow, data-flow analysis},
  researchr = {https://researchr.org/publication/AdamsBDLRSW02},
  cites = {0},
  citedby = {0},
  pages = {230-246},
  booktitle = {Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings},
  editor = {Manuel V. Hermenegildo and Germán Puebla},
  volume = {2477},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44235-9},
}

@inproceedings{VoungJL07,
  title = {RELAY: static race detection on millions of lines of code},
  author = {Jan Wen Voung and Ranjit Jhala and Sorin Lerner},
  year = {2007},
  doi = {10.1145/1287624.1287654},
  url = {http://doi.acm.org/10.1145/1287624.1287654},
  researchr = {https://researchr.org/publication/VoungJL07},
  cites = {0},
  citedby = {0},
  pages = {205-214},
  booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering},
  editor = {Ivica Crnkovic and Antonia Bertolino},
  publisher = {ACM},
  isbn = {978-1-59593-811-4},
}

@inproceedings{ShonleGL08,
  title = {Addressing common crosscutting problems with Arcum},
  author = {Macneil Shonle and William G. Griswold and Sorin Lerner},
  year = {2008},
  doi = {10.1145/1512475.1512489},
  url = {http://doi.acm.org/10.1145/1512475.1512489},
  researchr = {https://researchr.org/publication/ShonleGL08},
  cites = {0},
  citedby = {0},
  pages = {64-69},
  booktitle = {Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 08, Atlanta, Georgia, November 9-10, 2008},
  editor = {Shriram Krishnamurthi and Michal Young},
  publisher = {ACM},
  isbn = {978-1-60558-382-2},
}

@inproceedings{ChughMJL09,
  title = {Staged information flow for javascript},
  author = {Ravi Chugh and Jeffrey A. Meister and Ranjit Jhala and Sorin Lerner},
  year = {2009},
  doi = {10.1145/1542476.1542483},
  url = {http://doi.acm.org/10.1145/1542476.1542483},
  tags = {JavaScript, data-flow},
  researchr = {https://researchr.org/publication/ChughMJL09},
  cites = {0},
  citedby = {0},
  pages = {50-62},
  booktitle = {Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009},
  editor = {Michael Hind and Amer Diwan},
  publisher = {ACM},
  isbn = {978-1-60558-392-1},
}

@inproceedings{TuckerSJL07,
  title = {OPIUM: Optimal Package Install/Uninstall Manager},
  author = {Chris Tucker and David Shuffelton and Ranjit Jhala and Sorin Lerner},
  year = {2007},
  doi = {10.1109/ICSE.2007.59},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.59},
  researchr = {https://researchr.org/publication/TuckerSJL07},
  cites = {0},
  citedby = {0},
  pages = {178-188},
  booktitle = {29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007},
  publisher = {IEEE Computer Society},
}

@inproceedings{ChughVJL08,
  title = {Dataflow analysis for concurrent programs using datarace detection},
  author = {Ravi Chugh and Jan Wen Voung and Ranjit Jhala and Sorin Lerner},
  year = {2008},
  doi = {10.1145/1375581.1375620},
  url = {http://doi.acm.org/10.1145/1375581.1375620},
  tags = {program analysis, analysis},
  researchr = {https://researchr.org/publication/ChughVJL08},
  cites = {0},
  citedby = {0},
  pages = {316-326},
  booktitle = {Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
  editor = {Rajiv Gupta and Saman P. Amarasinghe},
  publisher = {ACM},
  isbn = {978-1-59593-860-2},
}

@inproceedings{TateSL10,
  title = {Generating compiler optimizations from proofs},
  author = {Ross Tate and Michael Stepp and Sorin Lerner},
  year = {2010},
  doi = {10.1145/1706299.1706345},
  url = {http://doi.acm.org/10.1145/1706299.1706345},
  tags = {optimization, rule-based, translation, relational database, rules, logic programming, debugging, compiler, logic, abstraction, program optimization},
  researchr = {https://researchr.org/publication/TateSL10},
  cites = {0},
  citedby = {0},
  pages = {389-402},
  booktitle = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010},
  editor = {Manuel V. Hermenegildo and Jens Palsberg},
  publisher = {ACM},
  isbn = {978-1-60558-479-9},
}

@inproceedings{TatlockL10,
  title = {Bringing extensibility to verified compilers},
  author = {Zachary Tatlock and Sorin Lerner},
  year = {2010},
  doi = {10.1145/1806596.1806611},
  url = {http://doi.acm.org/10.1145/1806596.1806611},
  tags = {programming languages, optimization, semantics, rule-based, proof assistant, program verification, formal semantics, transformation language, writing, transformation system, compiler, program optimization, extensible language, systematic-approach, transformation, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/TatlockL10},
  cites = {0},
  citedby = {0},
  pages = {111-121},
  booktitle = {Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010},
  editor = {Benjamin G. Zorn and Alexander Aiken},
  publisher = {ACM},
  isbn = {978-1-4503-0019-3},
}

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

@inproceedings{ScherpelzLC07,
  title = {Automatic inference of optimizer flow functions from semantic meanings},
  author = {Erika Rice Scherpelz and Sorin Lerner and Craig Chambers},
  year = {2007},
  doi = {10.1145/1250734.1250750},
  url = {http://doi.acm.org/10.1145/1250734.1250750},
  tags = {optimization, data-flow},
  researchr = {https://researchr.org/publication/ScherpelzLC07},
  cites = {0},
  citedby = {0},
  pages = {135-145},
  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{KunduTL09,
  title = {Proving optimizations correct using parameterized program equivalence},
  author = {Sudipta Kundu and Zachary Tatlock and Sorin Lerner},
  year = {2009},
  doi = {10.1145/1542476.1542513},
  url = {http://doi.acm.org/10.1145/1542476.1542513},
  tags = {optimization, program optimization},
  researchr = {https://researchr.org/publication/KunduTL09},
  cites = {0},
  citedby = {0},
  pages = {327-337},
  booktitle = {Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009},
  editor = {Michael Hind and Amer Diwan},
  publisher = {ACM},
  isbn = {978-1-60558-392-1},
}

@inproceedings{LernerGC02,
  title = {Composing dataflow analyses and transformations},
  author = {Sorin Lerner and David Grove and Craig Chambers},
  year = {2002},
  doi = {10.1145/503272.503298},
  url = {http://doi.acm.org/10.1145/503272.503298},
  tags = {transformation},
  researchr = {https://researchr.org/publication/LernerGC02},
  cites = {0},
  citedby = {0},
  pages = {270-282},
  booktitle = {POPL},
}
@proceedings{paste-2010,
  title = {Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 10, Toronto, Ontario, Canada, June 5-6, 2010},
  year = {2010},
  tags = {program analysis, analysis, software engineering},
  researchr = {https://researchr.org/publication/paste-2010},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 10, Toronto, Ontario, Canada, June 5-6, 2010},
  conference = {PASTE},
  editor = {Sorin Lerner and Atanas Rountev},
  publisher = {ACM},
  isbn = {978-1-4503-0082-7},
}