@inproceedings{ASPLOS-2012-MartignoniMPSM,
	author        = "Lorenzo Martignoni and Stephen McCamant and Pongsin Poosankam and Dawn Song and Petros Maniatis",
	booktitle     = "{Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems}",
	doi           = "10.1145/2150976.2151012",
	isbn          = "978-1-4503-0759-8",
	pages         = "337--348",
	publisher     = "{ACM}",
	title         = "{Path-exploration lifting: hi-fi tests for lo-fi emulators}",
	year          = 2012,
}