Fetching the paper…
Reading the bibliography…
Program optimization is the process of modifying software to execute more efficiently.
Classes of recursively enumerable sets and their decision problems
Henry Gordon Rice · 1953
Earlier work this paper cites.
Peephole optimization
William M McKeeman · 1965
Earlier work this paper cites.
A catalogue of optimizing transformations
Frances E. Allen and John Cocke · 1971
Earlier work this paper cites.
Simple statistical gradient-following algorithms for connectionist reinforcement learning
Ronald J Williams · 1992
Earlier work this paper cites.
An information-theoretic analysis of hard and soft assignment methods for clustering
Michael Kearns, Yishay Mansour, and Andrew Y Ng · 1998
Earlier work this paper cites.
Denali: A goal-directed superoptimizer
Rajeev Joshi, Greg Nelson, and Keith Randall · 2002
Earlier work this paper cites.
Hacker’s delight, 2002
Henry S Warren · 2002
Earlier work this paper cites.
Compilers: Principles, Techniques, and Tools
Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman · 2006
Earlier work this paper cites.
Z3: An efficient smt solver
Leonardo De Moura and Nikolaj Bjørner · 2008
Earlier work this paper cites.
Synthesis of loop-free programs
Sumit Gulwani, Susmit Jha, Ashish Tiwari, and Ramarathnam Venkatesan · 2011
Cited alongside, same era.
Stochastic superoptimization
Eric Schkufza, Rahul Sharma, and Alex Aiken · 2013
Cited alongside, same era.
Adam: A method for stochastic optimization
Diederik P Kingma and Jimmy Ba · 2014
Cited alongside, same era.
Neural machine translation of rare words with subword units
Rico Sennrich, Barry Haddow, and Alexandra Birch · 2015
Cited alongside, same era.
Learning to superoptimize programs
Rudy Bunel, Alban Desmaison, M Pawan Kumar, Philip HS Torr, and Pushmeet Kohli · 2016
Cited alongside, same era.
A survey of machine learning for big code and naturalness
Miltiadis Allamanis, Earl T Barr, Premkumar Devanbu, and Charles Sutton · 2018
Later among the works it cites.
Impala: Scalable distributed deep-rl with importance weighted actor-learner architectures
Lasse Espeholt, Hubert Soyer, Remi Munos, Karen Simonyan, Volodymir Mnih, Tom Ward, Yotam Doron, Vlad Firoiu, Tim Harley, Iain Dunning, et al · 2018
Later among the works it cites.
Memory augmented policy optimization for program synthesis and semantic parsing
Chen Liang, Mohammad Norouzi, Jonathan Berant, Quoc V Le, and Ni Lao · 2018
Later among the works it cites.
Junhyuk Oh, Yijie Guo, Satinder Singh, and Honglak Lee · 2018
Later among the works it cites.
Learning to perform local rewriting for combinatorial optimization
Xinyun Chen and Yuandong Tian · 2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Sound loop superoptimization for google native client
Berkeley Churchill, Rahul Sharma, JF Bastien, and Alex Aiken · 2017
Cited alongside, same era.
Souper: A synthesizing superoptimizer
Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Jubi Taneja, and John Regehr · 2017
Cited alongside, same era.
Attention is all you need
Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, Łukasz Kaiser, and Illia Polosukhin · 2017
Cited alongside, same era.
A syntactic neural model for general-purpose code generation
Pengcheng Yin and Graham Neubig · 2017
Cited alongside, same era.
Semantic program alignment for equivalence checking
Berkeley Churchill, Oded Padon, Rahul Sharma, and Alex Aiken · 2019
Later among the works it cites.
Deep symbolic superoptimization without human knowledge
Hui Shi, Yang Zhang, Xinyun Chen, Yuandong Tian, and Jishen Zhao · 2020
Later among the works it cites.
Evaluating large language models trained on code
Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde, Jared Kaplan, Harri Edwards, Yura Burda, Nicholas Joseph, Greg Brockman, et al · 2021
Closest in time.
Competition-level code generation with alphacode, Feb 2022
Yujia Li, David Choi, Junyoung Chung, Nate Kushman, Julian Schrittwieser, Rémi Leblond, Tom Eccles, James Keeling, Felix Gimeno, Agustin Dal Lago, Thomas Hubert, Peter Choy, Cyprien de Masson d’Autume, Igor Babuschkin, Xinyun Chen, Po-Sen Huang, Johannes Welbl, Sven Gowal, Alexey Cherepanov, James Molloy, Daniel Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando de Freitas, Koray Kavukcuoglu, and Oriol Vinyals · 2022
Closest in time.