Fetching the paper…
Reading the bibliography…
Research at the intersection of machine learning, programming languages, and software engineering has recently taken important steps in proposing learnable probabilistic models of source code that exploit code's abundance of patterns.
Validity of the single processor approach to achieving large scale computing capabilities. In Proceedings of the April 18-20, 1967, spring joint computer conference
Gene M Amdahl. 1967 · 1967
Earlier work this paper cites.
An Axiomatic Basis for Computer Programming
C. A. R. Hoare. 1969 · 1969
Earlier work this paper cites.
Software Portability: an advanced course
Peter John Brown. 1979 · 1979
Earlier work this paper cites.
Distributed representations
Geoffrey E Hinton. 1984 · 1984
Earlier work this paper cites.
Literate programming
Donald E Knuth. 1984 · 1984
Earlier work this paper cites.
A cache-based natural language model for speech recognition
Roland Kuhn and Renato De Mori. 1990 · 1990
Earlier work this paper cites.
Improved backing-off for m-gram language modeling. In Acoustics, Speech, and Signal Processing, 1995. ICASSP-95., 1995 International Conference on
Reinhard Kneser and Hermann Ney. 1995 · 1995
Earlier work this paper cites.
Long short-term memory
Sepp Hochreiter and Jürgen Schmidhuber. 1997 · 1997
Earlier work this paper cites.
An empirical study of smoothing techniques for language modeling
Stanley F Chen and Joshua Goodman. 1999 · 1999
Earlier work this paper cites.
The pragmatic programmer: from journeyman to master
Andrew Hunt and David Thomas. 2000 · 2000
Earlier work this paper cites.
Speech & Language Processing
Dan Jurafsky. 2000 · 2000
Earlier work this paper cites.
Bugs as deviant behavior: A general approach to inferring errors in systems code. In ACM SIGOPS Operating Systems Review
Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, and Benjamin Chelf. 2001 · 2001
Earlier work this paper cites.
Programming by demonstration: a machine learning approach
Tessa Lau. 2001 · 2001
Earlier work this paper cites.
BLEU: a method for automatic evaluation of machine translation. In Proceedings of the Annual Meeting of the Association for Computational Linguistics (ACL)
Kishore Papineni, Salim Roukos, Todd Ward, and Wei-Jing Zhu. 2002 · 2002
Earlier work this paper cites.
Behavioral consistency of C and Verilog programs using bounded model checking. In Proceedings of the 40th annual Design Automation Conference
Edmund Clarke, Daniel Kroening, and Karen Yorav. 2003 · 2003
Earlier work this paper cites.
Statistical debugging of sampled programs. In Proceedings of the Annual Conference on Neural Information Processing Systems (NIPS)
Alice X Zheng, Michael I Jordan, Ben Liblit, and Alex Aiken. 2003 · 2003
Earlier work this paper cites.
The ASTRÉE analyzer. In ESPO
Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, and Xavier Rival. 2005 · 2005
Earlier work this paper cites.
Strathcona example recommendation tool. In ACM SIGSOFT Software Engineering Notes
Reid Holmes, Robert J Walker, and Gail C Murphy. 2005 · 2005
Earlier work this paper cites.
Scalable statistical bug isolation. In ACM SIGPLAN Notices
Ben Liblit, Mayur Naik, Alice X Zheng, Alex Aiken, and Michael I Jordan. 2005 · 2005
Earlier work this paper cites.
Automatic mining of source code repositories to improve bug finding techniques
Chadd C Williams and Jeffrey K Hollingsworth. 2005 · 2005
Earlier work this paper cites.
Mining version histories to guide software changes
Thomas Zimmermann, Andreas Zeller, Peter Weissgerber, and Stephan Diehl. 2005 · 2005
Earlier work this paper cites.
Concise and consistent naming
Florian Deißenböck and Markus Pizka. 2006 · 2006
Earlier work this paper cites.
MAPO: Mining API usages from open source repositories. In Proceedings of the Working Conference on Mining Software Repositories (MSR)
Tao Xie and Jian Pei. 2006 · 2006
Earlier work this paper cites.
Statistical debugging: simultaneous identification of multiple bugs. In Proceedings of the International Conference on Machine Learning (ICML)
Alice X Zheng, Michael I Jordan, Ben Liblit, Mayur Naik, and Alex Aiken. 2006 · 2006
Earlier work this paper cites.
Mining API patterns as partial orders from source code: from usage scenarios to specifications. In Proceedings of the Joint Meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering (ESEC/FSE)
Mithun Acharya, Tao Xie, Jian Pei, and Jun Xu. 2007 · 2007
Earlier work this paper cites.
Survey of research on software clones. In Dagstuhl Seminar Proceedings
Rainer Koschke. 2007 · 2007
Earlier work this paper cites.
A Factor Graph Model for Software Bug Finding. In Proceedings of the International Joint Conference on Artifical intelligence (IJCAI)
Ted Kremenek, Andrew Y Ng, and Dawson R Engler. 2007 · 2007
Earlier work this paper cites.
Parseweb: a programmer assistant for reusing open source code on the web. In Proceedings of the International Conference on Automated Software Engineering (ASE)
Suresh Thummalapenta and Tao Xie. 2007 · 2007
Earlier work this paper cites.
Detecting object usage anomalies. In Proceedings of the Joint Meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering (ESEC/FSE)
Andrzej Wasylkowski, Andreas Zeller, and Christian Lindig. 2007 · 2007
Earlier work this paper cites.
Evolutionary linguistics
William Croft. 2008 · 2008
Earlier work this paper cites.
Verifiable functional purity in java. In Proceedings of the 15th ACM conference on Computer and communications security
Matthew Finifter, Adrian Mettler, Naveen Sastry, and David Wagner. 2008 · 2008
Earlier work this paper cites.
Javert: fully automatic mining of general temporal properties from dynamic traces. In Proceedings of the International Symposium on Foundations of Software Engineering (FSE)
Mark Gabel and Zhendong Su. 2008 · 2008
Earlier work this paper cites.
Learning from examples to improve code completion systems. In Proceedings of the Joint Meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering (ESEC/FSE)
Marcel Bruch, Martin Monperrus, and Mira Mezini. 2009 · 2009
Earlier work this paper cites.
Anomaly detection: A survey
Varun Chandola, Arindam Banerjee, and Vipin Kumar. 2009 · 2009
Earlier work this paper cites.
Internet-scale code search. In Proceedings of the 2009 ICSE Workshop on Search-Driven Development-Users, Infrastructure, Tools and Evaluation
Rosalva E Gallardo-Valencia and Susan Elliott Sim. 2009 · 2009
Earlier work this paper cites.
The unreasonable effectiveness of data
Alon Halevy, Peter Norvig, and Fernando Pereira. 2009 · 2009
Earlier work this paper cites.
Merlin: Specification Inference for Explicit Information Flow Problems. In Proceedings of the Symposium on Programming Language Design and Implementation (PLDI)
Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, and Anindya Banerjee. 2009 · 2009
Earlier work this paper cites.
Bayesian learning of a tree substitution grammar. In Proceedings of the Annual Meeting of the Association for Computational Linguistics (ACL)
Matt Post and Daniel Gildea. 2009 · 2009
Earlier work this paper cites.
A few billion lines of code later: using static analysis to find bugs in the real world
Al Bessey, Ken Block, Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, and Dawson Engler. 2010 · 2010
Earlier work this paper cites.
Inducing tree-substitution grammars
Trevor Cohn, Phil Blunsom, and Sharon Goldwater. 2010 · 2010
Earlier work this paper cites.
A study of the uniqueness of source code. In Proceedings of the International Symposium on Foundations of Software Engineering (FSE)
Mark Gabel and Zhendong Su. 2010 · 2010
Earlier work this paper cites.
Learning programs: A hierarchical Bayesian approach. In Proceedings of the International Conference on Machine Learning (ICML)
Percy Liang, Michael I Jordan, and Dan Klein. 2010 · 2010
Earlier work this paper cites.
Recommendation systems for software engineering
Martin Robillard, Robert Walker, and Thomas Zimmermann. 2010 · 2010
Earlier work this paper cites.
Probabilistic Topic Models
David M Blei. 2012 · 2012
Earlier work this paper cites.
Synthesizing API usage examples. In Proceedings of the International Conference on Software Engineering (ICSE)
Raymond PL Buse and Westley Weimer. 2012 · 2012
Earlier work this paper cites.
Traceability fundamentals
Orlena Gotel, Jane Cleland-Huang, Jane Huffman Hayes, Andrea Zisman, Alexander Egyed, Paul Grünbacher, Alex Dekhtyar, Giuliano Antoniol, Jonathan Maletic, and Patrick Mäder. 2012 · 2012
Earlier work this paper cites.
On the naturalness of software. In Proceedings of the International Conference on Software Engineering (ICSE)
Abram Hindle, Earl T Barr, Zhendong Su, Mark Gabel, and Premkumar Devanbu. 2012 · 2012
Earlier work this paper cites.
Mining source code repositories at massive scale using language modeling. In Proceedings of the Working Conference on Mining Software Repositories (MSR)
Miltiadis Allamanis and Charles Sutton. 2013 · 2013
Earlier work this paper cites.
Boa: A Language and Infrastructure for Analyzing Ultra-Large-Scale Software Repositories. In Proceedings of the International Conference on Software Engineering (ICSE)
Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, and Tien N. Nguyen. 2013 · 2013
Earlier work this paper cites.
Using Semantic Unification to Generate Regular Expressions from Natural Language. In Proceedings of Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT)
Nate Kushman and Regina Barzilay. 2013 · 2013
Earlier work this paper cites.
Portfolio: Searching for relevant functions and their usages in millions of lines of code
Collin Mcmillan, Denys Poshyvanyk, Mark Grechanik, Qing Xie, and Chen Fu. 2013 · 2013
Earlier work this paper cites.
A machine learning framework for programming by example. In Proceedings of the International Conference on Machine Learning (ICML)
Aditya Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, and Adam Kalai. 2013 · 2013
Earlier work this paper cites.
Efficient estimation of word representations in vector space
Tomas Mikolov, Kai Chen, Greg Corrado, and Jeffrey Dean. 2013 · 2013
Earlier work this paper cites.
Natural Language Models for Predicting Programming Comments. In Proceedings of the Annual Meeting of the Association for Computational Linguistics (ACL)
Dana Movshovitz-Attias and William W. Cohen. 2013 · 2013
Earlier work this paper cites.
Lexical statistical machine translation for language migration. In Proceedings of the International Symposium on Foundations of Software Engineering (FSE)
Anh Tuan Nguyen, Tung Thanh Nguyen, and Tien N Nguyen. 2013 · 2013
Earlier work this paper cites.
A statistical semantic language model for source code. In Proceedings of the Joint Meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering (ESEC/FSE)
Tung Thanh Nguyen, Anh Tuan Nguyen, Hoan Anh Nguyen, and Tien N Nguyen. 2013 · 2013
Earlier work this paper cites.
Structured statistical syntax tree prediction. In Proceedings of the Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)
Cyrus Omar. 2013 · 2013
Earlier work this paper cites.
A survey on multi-view learning
Chang Xu, Dacheng Tao, and Chao Xu. 2013 · 2013
Earlier work this paper cites.
Learning Natural Coding Conventions. In Proceedings of the International Symposium on Foundations of Software Engineering (FSE)
Miltiadis Allamanis, Earl T Barr, Christian Bird, and Charles Sutton. 2014 · 2014
Earlier work this paper cites.
Mining idioms from source code. In Proceedings of the International Symposium on Foundations of Software Engineering (FSE)
Miltiadis Allamanis and Charles Sutton. 2014 · 2014
Earlier work this paper cites.
DREBIN: Effective and Explainable Detection of Android Malware in Your Pocket. In Network and Distributed System Security Symposium
Daniel Arp, Michael Spreitzenbarth, Malte Hubner, Hugo Gascon, and Konrad Rieck. 2014 · 2014
Earlier work this paper cites.
Syntax errors just aren’t natural: improving error reporting with language models. In Proceedings of the Working Conference on Mining Software Repositories (MSR)
Joshua Charles Campbell, Abram Hindle, and José Nelson Amaral. 2014 · 2014
Earlier work this paper cites.
On the Properties of Neural Machine Translation: Encoder–Decoder Approaches
Kyunghyun Cho, Bart van Merriënboer, Dzmitry Bahdanau, and Yoshua Bengio. 2014 · 2014
Earlier work this paper cites.
Emergent, crowd-scale programming practice in the IDE. In Proceedings of the Annual ACM Conference on Human Factors in Computing Systems
Ethan Fast, Daniel Steffee, Lucy Wang, Joel R Brandt, and Michael S Bernstein. 2014 · 2014
Earlier work this paper cites.
Probabilistic programming. In Proceedings of the International Conference on Software Engineering (ICSE)
Andrew D Gordon, Thomas A Henzinger, Aditya V Nori, and Sriram K Rajamani. 2014 · 2014
Earlier work this paper cites.
Alex Graves, Greg Wayne, and Ivo Danihelka. 2014 · 2014
Earlier work this paper cites.
NLyze: Interactive programming by natural language for spreadsheet data analysis and manipulation. In Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data
Sumit Gulwani and Mark Marron. 2014 · 2014
Cited alongside, same era.
Using web corpus statistics for program analysis. In ACM SIGPLAN Notices
Chun-Hung Hsiao, Michael Cafarella, and Satish Narayanasamy. 2014 · 2014
Cited alongside, same era.
Defects4J: A database of existing faults to enable controlled testing studies for Java programs. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)
René Just, Darioush Jalali, and Michael D Ernst. 2014 · 2014
Cited alongside, same era.
Phrase-based statistical translation of programming languages. In International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software
Svetoslav Karaivanov, Veselin Raychev, and Martin Vechev. 2014 · 2014
Cited alongside, same era.
Survey of Methods to Generate Natural Language from Source Code
Graham Neubig. 2016 · 2016
Later among the works it cites.
Mapping API elements for code migration with vector representations. In Proceedings of the International Conference on Software Engineering (ICSE)
Trong Duc Nguyen, Anh Tuan Nguyen, and Tien N Nguyen. 2016 · 2016
Later among the works it cites.
Learning to rank code examples for code search engines
Haoran Niu, Iman Keivanloo, and Ying Zou. 2016 · 2016
Later among the works it cites.
Towards a universal code formatter through machine learning. In SLE
Terence Parr and Jurgen J. Vinju. 2016 · 2016
Later among the works it cites.
Learning to Fuzz: Application-Independent Fuzz Testing with Probabilistic, Generative Models of Input Data
Jibesh Patra and Michael Pradel. 2016 · 2016
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Quoc V Le and Tomas Mikolov. 2014 · 2014
Cited alongside, same era.
Structured Generative Models of Natural Source Code. In Proceedings of the International Conference on Machine Learning (ICML)
Chris Maddison and Daniel Tarlow. 2014 · 2014
Cited alongside, same era.
Source code-based recommendation systems
Kim Mens and Angela Lozano. 2014 · 2014
Cited alongside, same era.
Code completion with statistical language models. In Proceedings of the Symposium on Programming Language Design and Implementation (PLDI)
Veselin Raychev, Martin Vechev, and Eran Yahav. 2014 · 2014
Cited alongside, same era.
Recommendation systems in software engineering
Martin P Robillard, Walid Maalej, Robert J Walker, and Thomas Zimmermann. 2014 · 2014
Cited alongside, same era.
Sequence to sequence learning with neural networks. In Proceedings of the Annual Conference on Neural Information Processing Systems (NIPS)
Ilya Sutskever, Oriol Vinyals, and Quoc V Le. 2014 · 2014
Cited alongside, same era.
On the localness of software. In Proceedings of the International Symposium on Foundations of Software Engineering (FSE)
Zhaopeng Tu, Zhendong Su, and Premkumar Devanbu. 2014 · 2014
Cited alongside, same era.
Wojciech Zaremba and Ilya Sutskever. 2014 · 2014
Cited alongside, same era.
Learning API usages from bytecode: a statistical approach. In Proceedings of the International Conference on Software Engineering (ICSE)
Hung Viet Pham, Phong Minh Vu, Tung Thanh Nguyen, and others. 2016 · 2016
Later among the works it cites.
Evaluating the evaluations of code recommender systems: a reality check. In Proceedings of the International Conference on Automated Software Engineering (ASE)
Sebastian Proksch, Sven Amann, Sarah Nadi, and Mira Mezini. 2016 · 2016
Later among the works it cites.
sk_p: a neural program corrector for MOOCs. In Proceedings of the Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)
Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, and Regina Barzilay. 2016 · 2016
Later among the works it cites.
On the naturalness of buggy code. In Proceedings of the International Conference on Software Engineering (ICSE)
Baishakhi Ray, Vincent Hellendoorn, Saheel Godhane, Zhaopeng Tu, Alberto Bacchelli, and Premkumar Devanbu. 2016 · 2016
Later among the works it cites.
Learning programs from noisy data. In Proceedings of the Symposium on Principles of Programming Languages (POPL)
Veselin Raychev, Pavol Bielik, Martin Vechev, and Andreas Krause. 2016 · 2016
Later among the works it cites.
Neural Programmer-Interpreters. In Proceedings of the International Conference on Learning Representations (ICLR)
Scott Reed and Nando de Freitas. 2016 · 2016
Later among the works it cites.
Neural machine translation of rare words with subword units. In Proceedings of the Annual Meeting of the Association for Computational Linguistics (ACL)
Rico Sennrich, Barry Haddow, and Alexandra Birch. 2016 · 2016
Later among the works it cites.
Augmenting API documentation with insights from Stack Overflow. In Proceedings of the International Conference on Software Engineering (ICSE)
Christoph Treude and Martin P Robillard. 2016 · 2016
Later among the works it cites.
Neural Code Completion. (2016)
Xin Wang, Chang Liu, Richard Shin, Joseph E. Gonzalez, and Dawn Song. 2016c · 2016
Later among the works it cites.
Deep Learning Code Fragments for Code Clone Detection. In Proceedings of the International Conference on Automated Software Engineering (ASE)
Martin White, Michele Tufano, Christopher Vendome, and Denys Poshyvanyk. 2016 · 2016
Later among the works it cites.
Data Mining: Practical machine learning tools and techniques
Ian H Witten, Eibe Frank, Mark A Hall, and Christopher J Pal. 2016 · 2016
Later among the works it cites.
A survey on software fault localization
W Eric Wong, Ruizhi Gao, Yihao Li, Rui Abreu, and Franz Wotawa. 2016 · 2016
Later among the works it cites.
Extracting code from programming tutorial videos. In Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Shir Yadid and Eran Yahav. 2016 · 2016
Later among the works it cites.
SmartPaste: Learning to Adapt Source Code
Miltiadis Allamanis and Marc Brockschmidt. 2017 · 2017
Closest in time.
Learning Continuous Semantic Representations of Symbolic Expressions. In Proceedings of the International Conference on Machine Learning (ICML)
Miltiadis Allamanis, Pankajan Chanthirasegaran, Pushmeet Kohli, and Charles Sutton. 2017 · 2017
Closest in time.
Neural Attribute Machines for Program Generation
Matthew Amodio, Swarat Chaudhuri, and Thomas Reps. 2017 · 2017
Closest in time.
DeepCoder: Learning to Write Programs. In Proceedings of the International Conference on Learning Representations (ICLR)
Matej Balog, Alexander L Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow. 2017 · 2017
Closest in time.
Antonio Valerio Miceli Barone and Rico Sennrich. 2017 · 2017
Closest in time.
Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts
Rohan Bavishi, Michael Pradel, and Koushik Sen. 2017 · 2017
Closest in time.
pix2code: Generating Code from a Graphical User Interface Screenshot
Tony Beltramelli. 2017 · 2017
Closest in time.
Learning Shape Analysis. In International Static Analysis Symposium
Marc Brockschmidt, Yuxin Chen, Pushmeet Kohli, Siddharth Krishna, and Daniel Tarlow. 2017 · 2017
Closest in time.
Automatically generating features for learning program analysis heuristics for C-like languages
Kwonsoo Chae, Hakjoo Oh, Kihong Heo, and Hongseok Yang. 2017 · 2017
Closest in time.
Image-to-Markup Generation with Coarse-to-Fine Attention. In Proceedings of the International Conference on Machine Learning (ICML)
Yuntian Deng, Anssi Kanervisto, Jeffrey Ling, and Alexander M Rush. 2017 · 2017
Closest in time.
RobustFill: Neural Program Learning under Noisy I/O. In Proceedings of the International Conference on Machine Learning (ICML)
Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju, Rishabh Singh, Abdel rahman Mohamed, and Pushmeet Kohli. 2017 · 2017
Closest in time.
Learning to Infer Graphics Programs from Hand-Drawn Images
Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, and Joshua B Tenenbaum. 2017 · 2017
Closest in time.
Natural language is a programming language: Applying natural language processing to software development. In LIPIcs-Leibniz International Proceedings in Informatics
Michael D Ernst. 2017 · 2017
Closest in time.
Neural functional programming. 2016
John K Feser, Marc Brockschmidt, Alexander L Gaunt, and Daniel Tarlow. 2017 · 2017
Closest in time.
Code Recommenders
Eclipse Foundation · 2017
Closest in time.
Autofolding for Source Code Summarization
Jaroslav Fowkes, Pankajan Chanthirasegaran, Razvan Ranca, Miltos Allamanis, Mirella Lapata, and Charles Sutton. 2017 · 2017
Closest in time.
Easy over Hard: A Case Study on Deep Learning. In Proceedings of the International Symposium on Foundations of Software Engineering (FSE)
Wei Fu and Tim Menzies. 2017 · 2017
Closest in time.
Program Synthesis
Sumit Gulwani, Oleksandr Polozov, Rishabh Singh, and others. 2017 · 2017
Closest in time.
Semantically enhanced software traceability using deep learning techniques. In Proceedings of the International Conference on Software Engineering (ICSE)
Jin Guo, Jinghui Cheng, and Jane Cleland-Huang. 2017 · 2017
Closest in time.
DeepFix: Fixing common C language errors by deep learning. In Proceedings of the Conference of Artificial Intelligence (AAAI)
Rahul Gupta, Soham Pal, Aditya Kanade, and Shirish Shevade. 2017 · 2017
Closest in time.
Are deep neural networks the best choice for modeling source code?. In Proceedings of the International Symposium on Foundations of Software Engineering (FSE)
Vincent J Hellendoorn and Premkumar Devanbu. 2017 · 2017
Closest in time.
CodeSum: Translate Program Language to Natural Language
Xing Hu, Yuhan Wei, Ge Li, and Zhi Jin. 2017 · 2017
Closest in time.
Automatically generating commit messages from diffs using neural machine translation. In Proceedings of the International Conference on Automated Software Engineering (ASE)
Siyuan Jiang, Ameer Armaly, and Collin McMillan. 2017 · 2017
Closest in time.
Learning a classifier for false positive error reports emitted by static code analysis tools. In Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
Ugur Koc, Parsa Saadatpanah, Jeffrey S Foster, and Adam A Porter. 2017 · 2017
Closest in time.
Learning to Align the Source Code to the Compiled Object Code. In Proceedings of the International Conference on Machine Learning (ICML)
Dor Levy and Lior Wolf. 2017 · 2017
Closest in time.
Program synthesis from natural language using recurrent neural networks
Xi Victoria Lin, Chenglong Wang, Deric Pang, Kevin Vu, Luke Zettlemoyer, and Michael D. Ernst. 2017 · 2017
Closest in time.
Deep Network Guided Proof Search. In LPAR
Sarah M. Loos, Geoffrey Irving, Christian Szegedy, and Cezary Kaliszyk. 2017 · 2017
Closest in time.
A Neural Architecture for Generating Natural Language Descriptions from Source Code Changes
Pablo Loyola, Edison Marrese-Taylor, and Yutaka Matsuo. 2017 · 2017
Closest in time.
Data-Driven Program Completion
Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, and David Melski. 2017 · 2017
Closest in time.
Bayesian Sketch Learning for Program Synthesis
Vijayaraghavan Murali, Swarat Chaudhuri, and Chris Jermaine. 2017a · 2017
Closest in time.
Finding Likely Errors with Bayesian Specifications
Vijayaraghavan Murali, Swarat Chaudhuri, and Chris Jermaine. 2017b · 2017
Closest in time.
Exploring API embedding for API usages and applications. In Proceedings of the International Conference on Software Engineering (ICSE)
Trong Duc Nguyen, Anh Tuan Nguyen, Hung Dang Phan, and Tien N Nguyen. 2017 · 2017
Closest in time.
Toward Semantic Foundations for Program Editors
Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, and Matthew A Hammer. 2017 · 2017
Closest in time.
Neuro-Symbolic Program Synthesis. In Proceedings of the International Conference on Learning Representations (ICLR)
Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, Lihong Li, Dengyong Zhou, and Pushmeet Kohli. 2017 · 2017
Closest in time.
Deep Learning to Find Bugs
Michael Pradel and Koushik Sen. 2017 · 2017
Closest in time.
Abstract Syntax Networks for Code Generation and Semantic Parsing. In Proceedings of the Annual Meeting of the Association for Computational Linguistics (ACL)
Maxim Rabinovich, Mitchell Stern, and Dan Klein. 2017 · 2017
Closest in time.
Programming with a Differentiable Forth Interpreter. In ICML
Sebastian Riedel, Matko Bosnjak, and Tim Rocktäschel. 2017 · 2017
Closest in time.
End-to-end Differentiable Proving. In Proceedings of the Annual Conference on Neural Information Processing Systems (NIPS)
Tim Rocktäschel and Sebastian Riedel. 2017 · 2017
Closest in time.
Recovering clear, natural identifiers from obfuscated JS names. In Proceedings of the International Symposium on Foundations of Software Engineering (FSE)
Bogdan Vasilescu, Casey Casalnuovo, and Premkumar Devanbu. 2017 · 2017
Closest in time.
Deep Knowledge Tracing On Programming Exercises. In Conference on Learning @ Scale
Lisa Wang, Angela Sy, Larry Liu, and Chris Piech. 2017 · 2017
Closest in time.
A Syntactic Neural Model for General-Purpose Code Generation. Proceedings of the Annual Meeting of the Association for Computational Linguistics (ACL)
Pengcheng Yin and Graham Neubig. 2017 · 2017
Closest in time.
Seq2SQL: Generating Structured Queries from Natural Language using Reinforcement Learning
Victor Zhong, Caiming Xiong, and Richard Socher. 2017 · 2017
Closest in time.
Learning to Represent Programs with Graphs. In Proceedings of the International Conference on Learning Representations (ICLR)
Miltiadis Allamanis, Marc Brockschmidt, and Mahmoud Khademi. 2018 · 2018
Closest in time.
Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks. In Proceedings of the International Conference on Software Engineering (ICSE)
Sahil Bhatia and Rishabh Singh. 2018 · 2018
Closest in time.
Deep Reinforcement Learning for Programming Language Correction
Rahul Gupta, Aditya Kanade, and Shirish Shevade. 2018 · 2018
Closest in time.
Recent Advances in Neural Program Synthesis
Neel Kant. 2018 · 2018
Closest in time.
NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System. In International Conference on Language Resources and Evaluation
Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer, and Michael D. Ernst. 2018 · 2018
Closest in time.