[pl-seminar] Conditionally Correct Superoptimization

[Venkatesh Srinivasan <venk@xxxxxxxxxxx>]

Hello everyone,

 

For this week’s PL-seminar, I’ll be presenting a paper on Conditionally Correct Superoptimization (http://theory.stanford.edu/~aiken/publications/papers/oopsla15a.pdf). This paper appeared in OOPSLA 2015, and continues the interesting work on superoptimization done by Alex Aiken’s group at Stanford.

 

Thanks,

Venkatesh