Fault-safe code motion for type-safe languages.

Brian R. Murphy, Vijay Menon, Florian T. Schneider, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai

Browse the full CGO paper archive.