Rahul Sharma 0001, Eric Schkufza, Berkeley R. Churchill, Alex Aiken. Conditionally correct superoptimization. In Jonathan Aldrich, Patrick Eugster, editors, Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. pages 147-162, ACM, 2015. [doi]
Abstract is missing.