activity
20012022
most citedProchlo: Strong Privacy for Analytics in the Crowd

298 citations · 753 across the 22 of their papers we have counts for

collaborators

22 papers

cs.SE2022

CodeQueries: A Dataset of Semantic Queries over Code

Surya Prakash Sahu, Madhurima Mandal, Shikhar Bharadwaj +3

Developers often have questions about semantic aspects of code they are working on, e.g., "Is there a class whose parent classes declare a conflicting attribute?". Answering them r…

cs.LG2022★ 1 cited

A Library for Representing Python Programs as Graphs for Machine Learning

David Bieber, Kensen Shi, Petros Maniatis +4

Graph representations of programs are commonly a central element of machine learning for code research. We introduce an open source Python library python_graphs that applies static…

cs.SE2021★ 7 cited

SpreadsheetCoder: Formula Prediction from Semi-structured Context

Xinyun Chen, Petros Maniatis, Rishabh Singh +4

Spreadsheet formula prediction has been an important program synthesis problem with many real-world applications. Previous works typically utilize input-output examples as the spec…

stat.ML2020★ 3 cited

Neural Program Synthesis with a Differentiable Fixer

Matej Balog, Rishabh Singh, Petros Maniatis +1

We present a new program synthesis approach that combines an encoder-decoder based synthesis architecture with a differentiable program fixer. Our approach is inspired from the fac…

cs.SE2020★ 155 cited

Learning and Evaluating Contextual Embedding of Source Code

Aditya Kanade, Petros Maniatis, Gogul Balakrishnan +1

Recent research has achieved impressive results on understanding and improving source code by building up on machine-learning techniques developed for natural languages. A signific…

cs.LG2019★ 46 cited

Neural Program Repair by Jointly Learning to Localize and Repair

Marko Vasic, Aditya Kanade, Petros Maniatis +2

Due to its potential to improve programmer productivity and software quality, automated program repair has been an active topic of research. Newer techniques harness neural network…