Automatically proving the correctness of compiler optimizations.

Sorin Lerner, Todd D. Millstein, Craig Chambers

Browse the full PLDI paper archive.