Swarat Chaudhuri
3 papers in the PaperMetrix corpus
Papers by this author
-
Finding Likely Errors with Bayesian Specifications
2017 · arXiv (Cornell University)
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, hence likely buggy, program behavior. The distinctive insight here is …
-
Neural Attribute Grammars for Semantics-Guided Program Generation
2017 · arXiv (Cornell University)
Existing deep models for code tend to be trained on syntactic program representations. We present an alternative, called Neural Attribute Grammars, that exposes the semantics of the target language to the training procedure using an …
-
Synthesizing data structure transformations from input-output examples
2015 · ACM SIGPLAN Notices
We present a method for example-guided synthesis of functional programs over recursive data structures. Given a set of input-output examples, our method synthesizes a program in a functional language with higher-order combinators like map and …