Fetching the paper…
Reading the bibliography…
In this paper, we present the first-of-its-kind machine learning (ML) system, called AI Programmer, that can automatically generate full software programs requiring only minimal human guidance.
Proving the correctness of multiprocess programs
L. Lamport · 1977
Earlier work this paper cites.
On-the-fly garbage collection: An exercise in cooperation
E. W. Dijkstra, L. Lamport, A. J. Martin, C. S. Scholten, and E. F. M. Steffens · 1978
Earlier work this paper cites.
Gprof: A call graph execution profiler
S. L. Graham, P. B. Kessler, and M. K. Mckusick · 1982
Earlier work this paper cites.
On understanding types, data abstraction, and polymorphism
L. Cardelli and P. Wegner · 1985
Earlier work this paper cites.
Genetic Algorithms Plus Data Structures Equals Evolution Programs
Z. Michalewicz · 1994
Earlier work this paper cites.
Garbage Collection: Algorithms for Automatic Dynamic Memory Management
R. Jones and R. Lins · 1996
Earlier work this paper cites.
Automated synthesis of analog electrical circuits by means of genetic programming
J. R. Koza, F. H. Bennett, D. Andre, M. A. Keane, and F. Dunlap · 1997
Earlier work this paper cites.
An Introduction to Genetic Algorithms
M. Mitchell · 1998
Earlier work this paper cites.
Programming Language Pragmatics
M. L. Scott · 2000
Earlier work this paper cites.
Introduction to Algorithms
T. H. Cormen, C. Stein, R. L. Rivest, and C. E. Leiserson · 2001
Earlier work this paper cites.
Benchmarking optimization software with performance profiles
E. D. Dolan and J. J. Moré · 2002
Earlier work this paper cites.
Types and Programming Languages
B. C. Pierce · 2002
Earlier work this paper cites.
Artificial Intelligence: A Modern Approach
S. J. Russell and P. Norvig · 2003
Earlier work this paper cites.
Programming by sketching for bit-streaming programs
A. Solar-Lezama, R. Rabbah, R. Bodík, and K. Ebcioğlu · 2005
Cited alongside, same era.
A computer vision system on a chip: a case study from the automotive domain
G. P. Stein, G. Hayun, E. Rushinek, and A. Shashua · 2005
Cited alongside, same era.
Gradual typing for functional languages
J. G. Siek and W. Taha · 2006
Cited alongside, same era.
Combinatorial sketching for finite programs
A. Solar-Lezama, L. Tancau, R. Bodik, S. Seshia, and V. Saraswat · 2006
Cited alongside, same era.
Low Power Methodology Manual: For System-on-Chip Design
M. Keating, D. Flynn, R. Aitken, A. Gibbons, and K. Shi · 2007
Cited alongside, same era.
Gpu Gems 3
H. Nguyen · 2007
Cited alongside, same era.
An artificial life simulation library based on genetic algorithm, 3-character genetic code and biological hierarchy
M. H. Ling · 2012
Later among the works it cites.
Intel Xeon Phi Coprocessor High Performance Programming
J. Jeffers and J. Reinders · 2013
Later among the works it cites.
Performance evaluation of intel® transactional synchronization extensions for high-performance computing
R. M. Yoo, C. J. Hughes, K. Lai, and R. Rajwar · 2013
Later among the works it cites.
A survey of defense mechanisms against distributed denial of service (ddos) flooding attacks
S. T. Zargar, J. Joshi, and D. Tipper · 2013
Later among the works it cites.
Delite: A compiler architecture for performance-oriented embedded domain-specific languages
A. K. Sujeeth, K. J. Brown, H. Lee, T. Rompf, H. Chafi, M. Odersky, and K. Olukotun · 2014
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
M. L. Scott · 2009
Cited alongside, same era.
Human-competitive results produced by genetic programming
J. R. Koza · 2010
Cited alongside, same era.
Open issues in genetic programming
M. O’Neill, L. Vanneschi, S. Gustafson, and W. Banzhaf · 2010
Cited alongside, same era.
Pinplay: A framework for deterministic replay and reproducible analysis of parallel programs
H. Patil, C. Pereira, M. Stallcup, G. Lueck, and J. Cownie · 2010
Cited alongside, same era.
Engineering A Compiler
L. Torczon and K. Cooper · 2011
Cited alongside, same era.
Visualizing transactional memory
J. E. Gottschlich, M. P. Herlihy, G. A. Pokam, and J. G. Siek · 2012
Cited alongside, same era.
The Master Algorithm: How the Quest for the Ultimate Learning Machine Will Remake Our World
P. Domingos · 2015
Later among the works it cites.
Tensorflow: A system for large-scale machine learning
M. Abadi, P. Barham, J. Chen, Z. Chen, A. Davis, J. Dean, M. Devin, S. Ghemawat, G. Irving, M. Isard, M. Kudlur, J. Levenberg, R. Monga, S. Moore, D. G. Murray, B. Steiner, P. A. Tucker, V. Vasudevan, P. Warden, M. Wicke, Y. Yu, and X. Zhang · 2016
Later among the works it cites.
Deep Learning
I. Goodfellow, Y. Bengio, and A. Courville · 2016
Later among the works it cites.
Verified lifting of stencil computations
S. Kamil, A. Cheung, S. Itzhaky, and A. Solar-Lezama · 2016
Later among the works it cites.
Intel® software guard extensions (intel® sgx) support for dynamic memory management inside an enclave
F. McKeen, I. Alexandrovich, I. Anati, D. Caspi, S. Johnson, R. Leslie-Hurd, and C. Rozas · 2016
Later among the works it cites.
Scaling up superoptimization
P. M. Phothilimthana, A. Thakur, R. Bodik, and D. Dhurjati · 2016
Later among the works it cites.
URL https://spectrum.ieee.org/computing/software/the-2017-top-programming-languages
The 2017 top programming languages · 2017
Closest in time.