Sorin Lerner Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSudipta Kundu, Zachary Tatlock, Sorin Lerner: Proving optimizations correct using parameterized program equivalence. PLDI 2009: 327-337
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRavi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner: Staged information flow for javascript. PLDI 2009: 50-62
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoss Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner: Equality saturation: a new approach to optimization. POPL 2009: 264-276
2008
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSudipta Kundu, Sorin Lerner, Rajesh Gupta: Validating High-Level Synthesis. CAV 2008: 459-472
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner: Deep typechecking and refactoring. OOPSLA 2008: 37-52
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMacneil Shonle, William G. Griswold, Sorin Lerner: Addressing common crosscutting problems with Arcum. PASTE 2008: 64-69
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRavi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner: Dataflow analysis for concurrent programs using datarace detection. PLDI 2008: 316-326
2007
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMacneil Shonle, William G. Griswold, Sorin Lerner: Beyond refactoring: a framework for modular maintenance of crosscutting design idioms. ESEC/SIGSOFT FSE 2007: 175-184
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Wen Voung, Ranjit Jhala, Sorin Lerner: RELAY: static race detection on millions of lines of code. ESEC/SIGSOFT FSE 2007: 205-214
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSudipta Kundu, Sorin Lerner, Rajesh Gupta: Automated refinement checking of concurrent systems. ICCAD 2007: 318-325
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner: OPIUM: Optimal Package Install/Uninstall Manager. ICSE 2007: 178-188
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Rice Scherpelz, Sorin Lerner, Craig Chambers: Automatic inference of optimizer flow functions from semantic meanings. PLDI 2007: 135-145
2005
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers: Automated soundness proofs for dataflow analyses and transformations via local rules. POPL 2005: 364-377
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSorin Lerner, Todd D. Millstein, Craig Chambers: Cobalt: A Language for Writing Provably-Sound Compiler Optimizations. Electr. Notes Theor. Comput. Sci. 132(1): 5-17 (2005)
2003
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSorin Lerner, Todd D. Millstein, Craig Chambers: Automatically proving the correctness of compiler optimizations. PLDI 2003: 220-231
2002
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuvir Das, Sorin Lerner, Mark Seigle: ESP: Path-Sensitive Program Verification in Polynomial Time. PLDI 2002: 57-68
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSorin Lerner, David Grove, Craig Chambers: Composing dataflow analyses and transformations. POPL 2002: 270-282
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer: Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. SAS 2002: 230-246

Coauthor Index

1Stephen Adams [1]
2Thomas Ball [1]
3Craig Chambers [2] [4] [5] [6] [7]
4Ravi Chugh [12] [17]
5Manuvir Das [1] [3]
6William G. Griswold [11] [13]
7David Grove [2]
8Rajesh K. Gupta (Rajesh Gupta) [9] [15]
9Ranjit Jhala [8] [10] [12] [14] [17]
10Sudipta Kundu [9] [15] [18]
11Jeffrey A. Meister [17]
12Todd D. Millstein [4] [5] [6]
13Sriram K. Rajamani [1]
14Erika Rice [6]
15Erika Rice Scherpelz [7]
16Mark Seigle [1] [3]
17Macneil Shonle [11] [13]
18David Shuffelton [8] [14]
19Michael Stepp [16]
20Ross Tate [16]
21Zachary Tatlock [14] [16] [18]
22Chris Tucker [8] [14]
23Jan Wen Voung [10] [12]
24Westley Weimer [1]

Colors in the list of coauthors

Copyright © Sat Nov 7 19:26:18 2009 by Michael Ley (ley@uni-trier.de)