Sorin Lerner Vis

*	2009
18	EE	Sudipta Kundu, Zachary Tatlock, Sorin Lerner: Proving optimizations correct using parameterized program equivalence. PLDI 2009: 327-337
17	EE	Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner: Staged information flow for javascript. PLDI 2009: 50-62
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

Coauthor Index

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

Colors in the list of coauthors