2009 |
16 | EE | Ross Tate,
Michael Stepp,
Zachary Tatlock,
Sorin Lerner:
Equality saturation: a new approach to optimization.
POPL 2009: 264-276 |
2008 |
15 | EE | Sudipta Kundu,
Sorin Lerner,
Rajesh Gupta:
Validating High-Level Synthesis.
CAV 2008: 459-472 |
14 | EE | Zachary Tatlock,
Chris Tucker,
David Shuffelton,
Ranjit Jhala,
Sorin Lerner:
Deep typechecking and refactoring.
OOPSLA 2008: 37-52 |
13 | EE | Macneil Shonle,
William G. Griswold,
Sorin Lerner:
Addressing common crosscutting problems with Arcum.
PASTE 2008: 64-69 |
12 | EE | Ravi Chugh,
Jan Wen Voung,
Ranjit Jhala,
Sorin Lerner:
Dataflow analysis for concurrent programs using datarace detection.
PLDI 2008: 316-326 |
2007 |
11 | EE | Macneil Shonle,
William G. Griswold,
Sorin Lerner:
Beyond refactoring: a framework for modular maintenance of crosscutting design idioms.
ESEC/SIGSOFT FSE 2007: 175-184 |
10 | EE | Jan Wen Voung,
Ranjit Jhala,
Sorin Lerner:
RELAY: static race detection on millions of lines of code.
ESEC/SIGSOFT FSE 2007: 205-214 |
9 | EE | Sudipta Kundu,
Sorin Lerner,
Rajesh Gupta:
Automated refinement checking of concurrent systems.
ICCAD 2007: 318-325 |
8 | EE | Chris Tucker,
David Shuffelton,
Ranjit Jhala,
Sorin Lerner:
OPIUM: Optimal Package Install/Uninstall Manager.
ICSE 2007: 178-188 |
7 | EE | Erika Rice Scherpelz,
Sorin Lerner,
Craig Chambers:
Automatic inference of optimizer flow functions from semantic meanings.
PLDI 2007: 135-145 |
2005 |
6 | EE | Sorin Lerner,
Todd D. Millstein,
Erika Rice,
Craig Chambers:
Automated soundness proofs for dataflow analyses and transformations via local rules.
POPL 2005: 364-377 |
5 | EE | Sorin 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 |
4 | EE | Sorin Lerner,
Todd D. Millstein,
Craig Chambers:
Automatically proving the correctness of compiler optimizations.
PLDI 2003: 220-231 |
2002 |
3 | EE | Manuvir Das,
Sorin Lerner,
Mark Seigle:
ESP: Path-Sensitive Program Verification in Polynomial Time.
PLDI 2002: 57-68 |
2 | EE | Sorin Lerner,
David Grove,
Craig Chambers:
Composing dataflow analyses and transformations.
POPL 2002: 270-282 |
1 | EE | Stephen 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 |