A verifiable SSA program representation for aggressive compiler optimization.

Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen

Browse the full POPL paper archive.