End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

Patrick Cousot and Radhia Cousot · 1977

Earlier work this paper cites.

Dynamic inference of likely data preconditions over predicates by tree learning

Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivančić, and Aarti Gupta · 2008

Earlier work this paper cites.

Mining library specifications using inductive logic programming

Sriram Sankaranarayanan, Franjo Ivančić, and Aarti Gupta · 2008

Earlier work this paper cites.

Juliet 1.1 c/c++ and java test suite

T. Boland and P. E. Black · 2012

Earlier work this paper cites.

Interpolants as classifiers

Rahul Sharma, Aditya V Nori, and Alex Aiken · 2012

Earlier work this paper cites.

Termination proofs from tests

Aditya V Nori and Rahul Sharma · 2013

Earlier work this paper cites.

A data driven approach for algebraic loop invariants

Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, and Aditya V Nori · 2013

Earlier work this paper cites.

Verification as learning geometric concepts

Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, and Aditya V Nori · 2013

Earlier work this paper cites.

Recursive deep models for semantic compositionality over a sentiment treebank

Richard Socher, Alex Perelygin, and Jy Wu · 2013

Earlier work this paper cites.

Learning natural coding conventions

Miltiadis Allamanis, Earl T. Barr, Christian Bird, and Charles Sutton · 2014

Cited alongside, same era.

Neural turing machines

Original

Alex Graves, Greg Wayne, and Ivo Danihelka · 2014

Cited alongside, same era.

Convolutional neural networks for sentence classification

Yoon Kim · 2014

Cited alongside, same era.

Adam: A method for stochastic optimization

Original

Diederik P. Kingma and Jimmy Ba · 2014

Cited alongside, same era.

Sequence to sequence learning with neural networks

Ilya Sutskever, Oriol Vinyals, and Quoc V Le · 2014

Cited alongside, same era.

Visualizing and understanding recurrent networks

Toward deep learning software repositories

Martin White, Christopher Vendome, Mario Linares-Vásquez, and Denys Poshyvanyk · 2015

Later among the works it cites.

Automated correction for syntax errors in programming assignments using recurrent neural networks

Original

Sahil Bhatia and Rishabh Singh · 2016

Later among the works it cites.

Tracking the world state with recurrent entity networks

Original

Mikael Henaff, Jason Weston, Arthur Szlam, Antoine Bordes, and Yann LeCun · 2016

Later among the works it cites.

Learning unified features from natural and programming languages for locating buggy source code

Xuan Huo, Ming Li, and Zhi-hua Zhou · 2016

Later among the works it cites.

Ask me anything: Dynamic memory networks for natural language processing

Ankit Kumar, Ozan Irsoy, Peter Ondruska, Mohit Iyyer, James Bradbury, Ishaan Gulrajani, Victor Zhong, Romain Paulus, and Richard Socher · 2016

Later among the works it cites.