| |
| 2009 | ||
|---|---|---|
| 2 | EE | Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner: Equality saturation: a new approach to optimization. POPL 2009: 264-276 |
| 2008 | ||
| 1 | EE | Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner: Deep typechecking and refactoring. OOPSLA 2008: 37-52 |
| 1 | Ranjit Jhala | [1] |
| 2 | Sorin Lerner | [1] [2] |
| 3 | David Shuffelton | [1] |
| 4 | Michael Stepp | [2] |
| 5 | Ross Tate | [2] |
| 6 | Chris Tucker | [1] |