If we can automatically derive compiler optimizations, we might be able to sidestep some of the substantial engineering challenges involved in creating and maintaining a high-quality compiler. We developed Souper, a synthesizing superoptimizer, to see how far these idea... View more
 A. W. Appel. SSA is functional programming. SIGPLAN Not., 33(4):17-20, Apr. 1998.
 S. Bansal and A. Aiken. Automatic generation of peephole superoptimizers. In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 394-403, 2006.
 C. Barrett, A. Stump, and C. Tinelli. The SMT-LIB Standard: Version 2.0. In A. Gupta and D. Kroening, editors, Proceedings of the 8th International Workshop on Satisfiability Modulo Theories, 2010.
 S. Buchwald. Optgen: A Generator for Local Optimizations, pages 171-189. London, UK, Apr. 2015.
 C. Cadar, D. Dunbar, and D. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI'08, pages 209-224, 2008.
 R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst., 13(4):451-490, Oct. 1991.
 W. Dietz, P. Li, J. Regehr, and V. Adve. Understanding integer overflow in C/C++. ACM Trans. Softw. Eng. Methodol., 25(1): 2:1-2:29, Dec. 2015.
 C. W. Fraser. A compact, machine-independent peephole optimizer. In Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL '79, pages 1-6, 1979.
 T. Granlund and R. Kenner. Eliminating branches using a superoptimizer and the GNU C Compiler. In Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation, pages 341-352, 1992.
 S. Gulwani, S. Jha, A. Tiwari, and R. Venkatesan. Synthesis of loop-free programs. In Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '11, pages 62-73, 2011.