94 citations · 158 across the 14 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017★ 4 cited
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,…
cs.PL2017★ 47 cited
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…