Lorenzo Martignoni, Stephen McCamant, Pongsin Poosankam, Dawn Song, Petros Maniatis. Path-exploration lifting: hi-fi tests for lo-fi emulators. In Tim Harris, Michael L. Scott, editors, Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2012, London, UK, March 3-7, 2012. pages 337-348, ACM, 2012. [doi]
Abstract is missing.