| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 25 |       | Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner: Equality Saturation: A New Approach to Optimization Logical Methods in Computer Science 7(1): (2011) |
| 21 | | Zachary Tatlock, Sorin Lerner: Bringing extensibility to verified compilers. PLDI 2010: 111-121 |
| 18 | | Sudipta Kundu, Zachary Tatlock, Sorin Lerner: Proving optimizations correct using parameterized program equivalence. PLDI 2009: 327-337 |
| 16 | | Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner: Equality saturation: a new approach to optimization. POPL 2009: 264-276 |
| 14 | | Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner: Deep typechecking and refactoring. OOPSLA 2008: 37-52 |
Selection of 5 from 31 records - Sorin Lerner has 35 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page