47 citations · 115 across the 14 of their papers we have counts for
4 papers · 1 filter
PlinyCompute: A Platform for High-Performance, Distributed, Data-Intensive Tool Development
Jia Zou, R. Matthew Barnett, Tania Lorido-Botran +6
This paper describes PlinyCompute, a system for development of high-performance, data-intensive, distributed computing tools and libraries. In the large, PlinyCompute presents the…
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…
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…