Fetching the paper…
Reading the bibliography…
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.
A compact, machine-independent peephole optimizer
C. W. Fraser · 1979
Earlier work this paper cites.
Peep: An architectural description driven peephole optimizer
R. R. Kessler · 1984
Earlier work this paper cites.
Superoptimizer: A look at the smallest program
H. Massalin · 1987
Earlier work this paper cites.
Efficiently computing static single assignment form and the control dependence graph
R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck · 1991
Earlier work this paper cites.
Eliminating branches using a superoptimizer and the GNU C Compiler
T. Granlund and R. Kenner · 1992
Earlier work this paper cites.
SSA is functional programming
A. W. Appel · 1998
Earlier work this paper cites.
LLVM: A compilation framework for lifelong program analysis & transformation
C. Lattner and V. Adve · 2004
Earlier work this paper cites.
Automatic generation of peephole superoptimizers
S. Bansal and A. Aiken · 2006
Earlier work this paper cites.
KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs
C. Cadar, D. Dunbar, and D. Engler · 2008
Earlier work this paper cites.
Formal verification of a realistic compiler
X. Leroy · 2009
Cited alongside, same era.
The SMT-LIB Standard: Version 2.0
C. Barrett, A. Stump, and C. Tinelli · 2010
Cited alongside, same era.
Synthesis of loop-free programs
S. Gulwani, S. Jha, A. Tiwari, and R. Venkatesan · 2011
Cited alongside, same era.
Super-optimizing LLVM IR, Nov. 2011
D. Sands · 2011
Cited alongside, same era.
Finding and understanding bugs in C compilers
X. Yang, Y. Chen, E. Eide, and J. Regehr · 2011
Cited alongside, same era.
Stochastic superoptimization
E. Schkufza, R. Sharma, and A. Aiken · 2013
Cited alongside, same era.
Data-driven equivalence checking
R. Sharma, E. Schkufza, B. Churchill, and A. Aiken · 2013
Chlorophyll: Synthesis-aided compiler for low-power spatial architectures
P. M. Phothilimthana, T. Jelvis, R. Shah, N. Totla, S. Chasins, and R. Bodik · 2014
Later among the works it cites.
Stochastic optimization of floating-point programs with tunable precision
E. Schkufza, R. Sharma, and A. Aiken · 2014
Later among the works it cites.
Optgen: A Generator for Local Optimizations , pages 171–189
S. Buchwald · 2015
Later among the works it cites.
Understanding integer overflow in C/C++
W. Dietz, P. Li, J. Regehr, and V. Adve · 2015
Later among the works it cites.
Provably correct peephole optimizations with Alive
N. P. Lopes, D. Menendez, S. Nagarakatte, and J. Regehr · 2015
Later among the works it cites.
Conditionally correct superoptimization
R. Sharma, E. Schkufza, B. Churchill, and A. Aiken · 2015
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Towards optimization-safe systems: Analyzing the impact of undefined behavior
X. Wang, N. Zeldovich, M. F. Kaashoek, and A. Solar-Lezama · 2013
Cited alongside, same era.
Verified peephole optimizations for CompCert
E. Mullen, D. Zuniga, Z. Tatlock, and D. Grossman · 2016
Later among the works it cites.
Greenthumb: Superoptimizer construction framework
P. M. Phothilimthana, A. Thakur, R. Bodik, and D. Dhurjati · 2016
Later among the works it cites.