Zachary Tatlock

	2009
3		Sudipta Kundu, Zachary Tatlock, Sorin Lerner: Proving optimizations correct using parameterized program equivalence. PLDI 2009: 327-337
2		Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner: Equality saturation: a new approach to optimization. POPL 2009: 264-276
	2008
1		Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner: Deep typechecking and refactoring. OOPSLA 2008: 37-52

Coauthor Index

1	Ranjit Jhala	[1]
2	Sudipta Kundu	[3]
3	Sorin Lerner	[1] [2] [3]
4	David Shuffelton	[1]
5	Michael Stepp	[2]
6	Ross Tate	[2]
7	Chris Tucker	[1]