Sorin Lerner

2008
13	EE	Sudipta Kundu, Sorin Lerner, Rajesh Gupta: Validating High-Level Synthesis. CAV 2008: 459-472
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

Coauthor Index

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

Colors in the list of coauthors