94 citations · 449 across the 53 of their papers we have counts for
4 papers · 1 filter
Data-Driven Program Completion
Yanxin Lu, Swarat Chaudhuri, Chris Jermaine +1
We introduce program splicing, a programming methodology that aims to automate the commonly used workflow of copying, pasting, and modifying code available online. Here, the progra…
Neural Attribute Machines for Program Generation
Matthew Amodio, Swarat Chaudhuri, Thomas W. Reps
Recurrent neural networks have achieved remarkable success at generating sequences with complex structures, thanks to advances that include richer embeddings of input and cures for…
Finding Likely Errors with Bayesian Specifications
Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine
We present a Bayesian framework for learning probabilistic specifications from large, unstructured code corpora, and a method to use this framework to statically detect anomalous,…
Neural Sketch Learning for Conditional Program Generation
Vijayaraghavan Murali, Letao Qi, Swarat Chaudhuri +1
We study the problem of generating source code in a strongly typed, Java-like programming language, given a label (for example a set of API calls or types) carrying a small amount…