Publications

• Proving Optimizations Correct using Parameterized Program Equivalence
      PLDI 09: paper, slides, talk
      with Sudipta Kundu and Sorin Lerner
  
• Equality Saturation: A New Approach to Optimization
      POPL 09: paper, slides, talk (by Ross)
      with Ross Tate, Mike Stepp, and Sorin Lerner
• Deep Typechecking and Refactoring
      OOPSLA 08: paper, slides
      with Chris Tucker, David Shuffleton, Ranjit Jhala, and Sorin Lerner

DBLP