@inproceedings{CGO-2008-MurphyMSSA,
	author        = "Brian R. Murphy and Vijay Menon and Florian T. Schneider and Tatiana Shpeisman and Ali-Reza Adl-Tabatabai",
	booktitle     = "{Proceedings of the Sixth International Symposium on Code Generation and Optimization}",
	doi           = "10.1145/1356058.1356078",
	isbn          = "978-1-59593-978-4",
	pages         = "144--154",
	publisher     = "{ACM}",
	title         = "{Fault-safe code motion for type-safe languages}",
	year          = 2008,
}