Sorin Lerner

	2011
28		Michael Stepp, Ross Tate, Sorin Lerner: Equality-Based Translation Validator for LLVM. CAV 2011: 737-742
27		Macneil Shonle, William G. Griswold, Sorin Lerner: Using metaphors from natural discussion to improve the design of arcum. PLATEAU 2011: 39-44
26		Ross Tate, Alan Leung, Sorin Lerner: Taming wildcards in Java's type system. PLDI 2011: 614-627
25		Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner: Equality Saturation: A New Approach to Optimization Logical Methods in Computer Science 7(1): (2011)
	2010
24		Sorin Lerner, Atanas Rountev: 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 ACM 2010
23		Dongseok Jang, Ranjit Jhala, Sorin Lerner, Hovav Shacham: An empirical study of privacy-violating information flows in JavaScript web applications. ACM Conference on Computer and Communications Security 2010: 270-283
22		Diane Hu, Laurens van der Maaten, Youngmin Cho, Lawrence K. Saul, Sorin Lerner: Latent Variable Models for Predicting File Dependencies in Large-Scale Software Development. NIPS 2010: 865-873
21		Zachary Tatlock, Sorin Lerner: Bringing extensibility to verified compilers. PLDI 2010: 111-121
20		Ross Tate, Michael Stepp, Sorin Lerner: Generating compiler optimizations from proofs. POPL 2010: 389-402
19		Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta: Translation Validation of High-Level Synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 29(4): 566-579 (2010)
	2009
18		Sudipta Kundu, Zachary Tatlock, Sorin Lerner: Proving optimizations correct using parameterized program equivalence. PLDI 2009: 327-337
17		Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner: Staged information flow for javascript. PLDI 2009: 50-62
16		Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner: Equality saturation: a new approach to optimization. POPL 2009: 264-276
	2008
15		Sudipta Kundu, Sorin Lerner, Rajesh Gupta: Validating High-Level Synthesis. CAV 2008: 459-472
14		Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner: Deep typechecking and refactoring. OOPSLA 2008: 37-52
13		Macneil Shonle, William G. Griswold, Sorin Lerner: Addressing common crosscutting problems with Arcum. PASTE 2008: 64-69
12		Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner: Dataflow analysis for concurrent programs using datarace detection. PLDI 2008: 316-326
	2007
11		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		Jan Wen Voung, Ranjit Jhala, Sorin Lerner: RELAY: static race detection on millions of lines of code. ESEC/SIGSOFT FSE 2007: 205-214
9		Sudipta Kundu, Sorin Lerner, Rajesh Gupta: Automated refinement checking of concurrent systems. ICCAD 2007: 318-325
8		Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner: OPIUM: Optimal Package Install/Uninstall Manager. ICSE 2007: 178-188
7		Erika Rice Scherpelz, Sorin Lerner, Craig Chambers: Automatic inference of optimizer flow functions from semantic meanings. PLDI 2007: 135-145
	2005
6		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		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		Sorin Lerner, Todd D. Millstein, Craig Chambers: Automatically proving the correctness of compiler optimizations. PLDI 2003: 220-231
	2002
3		Manuvir Das, Sorin Lerner, Mark Seigle: ESP: Path-Sensitive Program Verification in Polynomial Time. PLDI 2002: 57-68
2		Sorin Lerner, David Grove, Craig Chambers: Composing dataflow analyses and transformations. POPL 2002: 270-282
1		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	Youngmin Cho	[22]
5	Ravi Chugh	[12] [17]
6	Manuvir Das	[1] [3]
7	William G. Griswold	[11] [13] [27]
8	David Grove	[2]
9	Rajesh K. Gupta (Rajesh Gupta)	[9] [15] [19]
10	Diane Hu	[22]
11	Dongseok Jang	[23]
12	Ranjit Jhala	[8] [10] [12] [14] [17] [23]
13	Sudipta Kundu	[9] [15] [18] [19]
14	Alan Leung	[26]
15	Laurens van der Maaten	[22]
16	Jeffrey A. Meister	[17]
17	Todd D. Millstein	[4] [5] [6]
18	Sriram K. Rajamani	[1]
19	Erika Rice	[6]
20	Atanas Rountev	[24]
21	Lawrence K. Saul	[22]
22	Erika Rice Scherpelz	[7]
23	Mark Seigle	[1] [3]
24	Hovav Shacham	[23]
25	Macneil Shonle	[11] [13] [27]
26	David Shuffelton	[8] [14]
27	Michael Stepp	[16] [20] [25] [28]
28	Ross Tate	[16] [20] [25] [26] [28]
29	Zachary Tatlock	[14] [16] [18] [21] [25]
30	Chris Tucker	[8] [14]
31	Jan Wen Voung	[10] [12]
32	Westley Weimer	[1]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page