Brian R. Murphy Vijay Menon Florian T. Schneider Tatiana Shpeisman Ali-Reza Adl-Tabatabai Fault-safe code motion for type-safe languages. 144-154 2008 CGO http://doi.acm.org/10.1145/1356058.1356078 conf/cgo/2008 db/conf/cgo/cgo2008.html#MurphyMSSA08