publications: - title: "Automated refinement checking of concurrent systems" author: - name: "Sudipta Kundu" link: "https://researchr.org/alias/sudipta-kundu" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" - name: "Rajesh Gupta" link: "https://researchr.org/alias/rajesh-gupta" year: "2007" doi: "http://doi.acm.org/10.1145/1326073.1326139" links: doi: "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: - name: "Georges G. E. Gielen" link: "https://researchr.org/alias/georges-g.-e.-gielen" publisher: "IEEE" isbn: "1-4244-1382-6" kind: "inproceedings" key: "KunduLG07" - 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: "Equality saturation: a new approach to optimization" author: - name: "Ross Tate" link: "https://researchr.org/alias/ross-tate" - name: "Michael Stepp" link: "https://researchr.org/alias/michael-stepp" - name: "Zachary Tatlock" link: "https://researchr.org/alias/zachary-tatlock" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" year: "2009" doi: "http://doi.acm.org/10.1145/1480881.1480915" links: doi: "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: - name: "Zhong Shao" link: "https://researchr.org/alias/zhong-shao" - name: "Benjamin C. Pierce" link: "http://www.cis.upenn.edu/~bcpierce/" publisher: "ACM" isbn: "978-1-60558-379-2" kind: "inproceedings" key: "TateSTL09" - title: "Validating High-Level Synthesis" author: - name: "Sudipta Kundu" link: "https://researchr.org/alias/sudipta-kundu" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" - name: "Rajesh Gupta" link: "https://researchr.org/alias/rajesh-gupta" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-70545-1_44" links: doi: "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: - name: "Aarti Gupta" link: "https://researchr.org/alias/aarti-gupta" - name: "Sharad Malik" link: "https://researchr.org/alias/sharad-malik" volume: "5123" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-70543-7" kind: "inproceedings" key: "KunduLG08" - title: "Cobalt: A Language for Writing Provably-Sound Compiler Optimizations" author: - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" - name: "Todd D. Millstein" link: "https://researchr.org/alias/todd-d.-millstein" - name: "Craig Chambers" link: "https://researchr.org/alias/craig-chambers" year: "2005" doi: "http://dx.doi.org/10.1016/j.entcs.2005.03.022" links: doi: "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" kind: "article" key: "LernerMC05" - title: "ESP: Path-Sensitive Program Verification in Polynomial Time" author: - name: "Manuvir Das" link: "https://researchr.org/alias/manuvir-das" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" - name: "Mark Seigle" link: "https://researchr.org/alias/mark-seigle" year: "2002" doi: "http://doi.acm.org/10.1145/512529.512538" links: doi: "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" kind: "inproceedings" key: "DasLS02" - title: "Deep typechecking and refactoring" author: - name: "Zachary Tatlock" link: "https://researchr.org/alias/zachary-tatlock" - name: "Chris Tucker" link: "https://researchr.org/alias/chris-tucker" - name: "David Shuffelton" link: "https://researchr.org/alias/david-shuffelton" - name: "Ranjit Jhala" link: "https://researchr.org/alias/ranjit-jhala" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" year: "2008" doi: "http://doi.acm.org/10.1145/1449764.1449768" abstract: "Large software systems are typically composed of multiple layers, written in different languages and loosely coupled using a string-based interface. For example, in modern web-applications, a server written in Java communicates with a database back-end by passing in query strings. This widely prevalent approach is unsafe as the analyses developed for the individual layers are oblivious to the semantics of the dynamically constructed strings, making it impossible to statically reason about the correctness of the interaction. Further, even simple refactoring in such systems is daunting and error prone as the changes must also be applied to isolated string fragments scattered across the code base. We present techniques for deep typechecking and refactoring for systems that combine Java code with a database back-end using the Java Persistence API [10]. Deep typechecking ensures that the queries that are constructed dynamically are type safe and that the values returned from the queries are used safely by the program. Deep refactoring builds upon typechecking to allow programmers to safely and automatically propagate code refactorings through the query string fragments. Our algorithms are implemented in a tool called QUAIL. We present experiments evaluating the effectiveness of QUAIL on several benchmarks ranging from 3,369 to 82,907 lines of code.We show that QUAIL is able to verify that 84% of query strings in our benchmarks are type safe. Finally, we show that QUAIL reduces the number of places in the code that a programmer must look at in order to perform a refactoring by several orders of magnitude." links: doi: "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: - name: "Gail E. Harris" link: "https://researchr.org/alias/gail-e.-harris" publisher: "ACM" isbn: "978-1-60558-215-3" kind: "inproceedings" key: "TatlockTSJL08" - title: "Beyond refactoring: a framework for modular maintenance of crosscutting design idioms" author: - name: "Macneil Shonle" link: "https://researchr.org/alias/macneil-shonle" - name: "William G. Griswold" link: "https://researchr.org/alias/william-g.-griswold" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" year: "2007" doi: "http://doi.acm.org/10.1145/1287624.1287650" links: doi: "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, 2007, Dubrovnik, Croatia, September 3-7, 2007" editor: - name: "Ivica Crnkovic" link: "https://researchr.org/alias/ivica-crnkovic" - name: "Antonia Bertolino" link: "https://researchr.org/alias/antonia-bertolino" publisher: "ACM" isbn: "978-1-59593-811-4" kind: "inproceedings" key: "ShonleGL07" - title: "An empirical study of privacy-violating information flows in JavaScript web applications" author: - name: "Dongseok Jang" link: "https://researchr.org/alias/dongseok-jang" - name: "Ranjit Jhala" link: "https://researchr.org/alias/ranjit-jhala" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" - name: "Hovav Shacham" link: "https://researchr.org/alias/hovav-shacham" year: "2010" doi: "http://doi.acm.org/10.1145/1866307.1866339" links: doi: "http://doi.acm.org/10.1145/1866307.1866339" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ccs/JangJLS10" 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: - name: "Ehab Al-Shaer" link: "https://researchr.org/alias/ehab-al-shaer" - name: "Angelos D. Keromytis" link: "https://researchr.org/alias/angelos-d.-keromytis" - name: "Vitaly Shmatikov" link: "https://researchr.org/alias/vitaly-shmatikov" publisher: "ACM" isbn: "978-1-4503-0245-6" kind: "inproceedings" key: "JangJLS10" - title: "Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis" author: - name: "Stephen Adams" link: "https://researchr.org/alias/stephen-adams" - name: "Thomas Ball" link: "https://researchr.org/alias/thomas-ball" - name: "Manuvir Das" link: "https://researchr.org/alias/manuvir-das" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" - name: "Sriram K. Rajamani" link: "https://researchr.org/alias/sriram-k.-rajamani" - name: "Mark Seigle" link: "https://researchr.org/alias/mark-seigle" - name: "Westley Weimer" link: "https://researchr.org/alias/westley-weimer" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2477/24770230.htm" links: doi: "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: - name: "Manuel V. Hermenegildo" link: "https://researchr.org/alias/manuel-v.-hermenegildo" - name: "Germán Puebla" link: "https://researchr.org/alias/germ%C3%A1n-puebla" volume: "2477" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44235-9" kind: "inproceedings" key: "AdamsBDLRSW02" - title: "RELAY: static race detection on millions of lines of code" author: - name: "Jan Wen Voung" link: "https://researchr.org/alias/jan-wen-voung" - name: "Ranjit Jhala" link: "https://researchr.org/alias/ranjit-jhala" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" year: "2007" doi: "http://doi.acm.org/10.1145/1287624.1287654" links: doi: "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, 2007, Dubrovnik, Croatia, September 3-7, 2007" editor: - name: "Ivica Crnkovic" link: "https://researchr.org/alias/ivica-crnkovic" - name: "Antonia Bertolino" link: "https://researchr.org/alias/antonia-bertolino" publisher: "ACM" isbn: "978-1-59593-811-4" kind: "inproceedings" key: "VoungJL07" - title: "Addressing common crosscutting problems with Arcum" author: - name: "Macneil Shonle" link: "https://researchr.org/alias/macneil-shonle" - name: "William G. Griswold" link: "https://researchr.org/alias/william-g.-griswold" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" year: "2008" doi: "http://doi.acm.org/10.1145/1512475.1512489" links: doi: "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: - name: "Shriram Krishnamurthi" link: "http://www.cs.brown.edu/~sk/" - name: "Michal Young" link: "https://researchr.org/alias/michal-young" publisher: "ACM" isbn: "978-1-60558-382-2" kind: "inproceedings" key: "ShonleGL08" - title: "Staged information flow for javascript" author: - name: "Ravi Chugh" link: "https://researchr.org/alias/ravi-chugh" - name: "Jeffrey A. Meister" link: "https://researchr.org/alias/jeffrey-a.-meister" - name: "Ranjit Jhala" link: "https://researchr.org/alias/ranjit-jhala" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" year: "2009" doi: "http://doi.acm.org/10.1145/1542476.1542483" links: doi: "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: - name: "Michael Hind" link: "https://researchr.org/alias/michael-hind" - name: "Amer Diwan" link: "https://researchr.org/alias/amer-diwan" publisher: "ACM" isbn: "978-1-60558-392-1" kind: "inproceedings" key: "ChughMJL09" - title: "OPIUM: Optimal Package Install/Uninstall Manager" author: - name: "Chris Tucker" link: "https://researchr.org/alias/chris-tucker" - name: "David Shuffelton" link: "https://researchr.org/alias/david-shuffelton" - name: "Ranjit Jhala" link: "https://researchr.org/alias/ranjit-jhala" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" year: "2007" doi: "http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.59" links: doi: "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" kind: "inproceedings" key: "TuckerSJL07" - title: "Dataflow analysis for concurrent programs using datarace detection" author: - name: "Ravi Chugh" link: "https://researchr.org/alias/ravi-chugh" - name: "Jan Wen Voung" link: "https://researchr.org/alias/jan-wen-voung" - name: "Ranjit Jhala" link: "https://researchr.org/alias/ranjit-jhala" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" year: "2008" doi: "http://doi.acm.org/10.1145/1375581.1375620" links: doi: "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: - name: "Rajiv Gupta" link: "https://researchr.org/alias/rajiv-gupta" - name: "Saman P. Amarasinghe" link: "https://researchr.org/alias/saman-p.-amarasinghe" publisher: "ACM" isbn: "978-1-59593-860-2" kind: "inproceedings" key: "ChughVJL08" - title: "Generating compiler optimizations from proofs" author: - name: "Ross Tate" link: "https://researchr.org/alias/ross-tate" - name: "Michael Stepp" link: "https://researchr.org/alias/michael-stepp" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" year: "2010" doi: "http://doi.acm.org/10.1145/1706299.1706345" abstract: "We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical insight of our technique is that a proof of equivalence between the original and transformed concrete programs informs us which aspects of the programs are important and which can be discarded. Our technique therefore uses these proofs, which can be produced by translation validation or a proof-carrying compiler, as a guide to generalize the original and transformed programs into broadly applicable optimization rules. We present a category-theoretic formalization of our proof generalization technique. This abstraction makes our technique applicable to logics besides our own. In particular, we demonstrate how our technique can also be used to learn query optimizations for relational databases or to aid programmers in debugging type errors. Finally, we show experimentally that our technique enables programmers to train a compiler with application-specific optimizations by providing concrete examples of original programs and the desired transformed programs. We also show how it enables a compiler to learn efficient-to-run optimizations from expensive-to-run super-optimizers." links: doi: "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: - name: "Manuel V. Hermenegildo" link: "https://researchr.org/alias/manuel-v.-hermenegildo" - name: "Jens Palsberg" link: "https://researchr.org/alias/jens-palsberg" publisher: "ACM" isbn: "978-1-60558-479-9" kind: "inproceedings" key: "TateSL10" - title: "Bringing extensibility to verified compilers" author: - name: "Zachary Tatlock" link: "https://researchr.org/alias/zachary-tatlock" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" year: "2010" doi: "http://doi.acm.org/10.1145/1806596.1806611" abstract: "Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proof assistant. This technique provides a strong, end-to-end correctness guarantee on top of a small trusted computing base. Unfortunately, these compilers are also challenging to extend since each additional transformation must be proven correct in full formal detail. At the other end of the spectrum, techniques for compiler correctness based on a domain-specific language for writing optimizations, such as Lerner's Rhodium and Cobalt, make the compiler easy to extend: the correctness of additional transformations can be checked completely automatically. Unfortunately, these systems provide a weaker guarantee since their end-to-end correctness has not been proven fully formally. We present an approach for compiler correctness that provides the best of both worlds by bridging the gap between compiler verification and compiler extensibility. In particular, we have extended Leroy's CompCert compiler with an execution engine for optimizations written in a domain specific and proved that this execution engine preserves program semantics, using the Coq proof assistant. We present our CompCert extension, XCert, including the details of its execution engine and proof of correctness in Coq. Furthermore, we report on the important lessons learned for making the proof development manageable." links: doi: "http://doi.acm.org/10.1145/1806596.1806611" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/TatlockL10" 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: - name: "Benjamin G. Zorn" link: "https://researchr.org/alias/benjamin-g.-zorn" - name: "Alexander Aiken" link: "https://researchr.org/alias/alexander-aiken" publisher: "ACM" isbn: "978-1-4503-0019-3" kind: "inproceedings" key: "TatlockL10" - 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" - title: "Automatic inference of optimizer flow functions from semantic meanings" author: - name: "Erika Rice Scherpelz" link: "https://researchr.org/alias/erika-rice-scherpelz" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" - name: "Craig Chambers" link: "https://researchr.org/alias/craig-chambers" year: "2007" doi: "http://doi.acm.org/10.1145/1250734.1250750" links: doi: "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: - 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: "ScherpelzLC07" - title: "Proving optimizations correct using parameterized program equivalence" author: - name: "Sudipta Kundu" link: "https://researchr.org/alias/sudipta-kundu" - name: "Zachary Tatlock" link: "https://researchr.org/alias/zachary-tatlock" - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" year: "2009" doi: "http://doi.acm.org/10.1145/1542476.1542513" links: doi: "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: - name: "Michael Hind" link: "https://researchr.org/alias/michael-hind" - name: "Amer Diwan" link: "https://researchr.org/alias/amer-diwan" publisher: "ACM" isbn: "978-1-60558-392-1" kind: "inproceedings" key: "KunduTL09" - title: "Composing dataflow analyses and transformations" author: - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" - name: "David Grove" link: "https://researchr.org/alias/david-grove" - name: "Craig Chambers" link: "https://researchr.org/alias/craig-chambers" year: "2002" doi: "http://doi.acm.org/10.1145/503272.503298" links: doi: "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" kind: "inproceedings" key: "LernerGC02" - 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" links: dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/paste/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: - name: "Sorin Lerner" link: "http://cseweb.ucsd.edu/~lerner/" - name: "Atanas Rountev" link: "https://researchr.org/alias/atanas-rountev" publisher: "ACM" isbn: "978-1-4503-0082-7" kind: "proceedings" key: "paste-2010"