Papers

2021

UIST 2021Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman.
Sporq: An Interactive Environment for Exploring Code Using Query-by-Example.
Conditionally accepted, [Draft], [Video].
PPDP 2021David Zhao, Mukund Raghothaman, Pavel Subotić, Bernhard Scholz.
Towards Elastic Incrementalization for Datalog.
To appear, [Draft]
FSE 2021Tianyi Chen, Kihong Heo, Mukund Raghothaman.
Boosting Static Analysis Accuracy With Instrumented Test Executions.
To appear, [Draft]
PLDI 2021Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman
Example-Guided Synthesis of Relational Queries.
[Draft], [Video], [Artifact]
ICSE 2021Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang.
Data-Driven Synthesis of Provably Sound Side Channel Analyses.
[Paper]
AAAI 2021Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik.
GenSynth: Synthesizing Datalog Programs Without Language Bias.
[Paper], [Short talk], [Long talk], [Demo], [Code 1], [Code 2]

2020

POPL 2020Mukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik, Bernhard Scholz.
Provenance-Guided Synthesis of Datalog Programs.
[Paper], [Slides], [Code], [Artifact]
TCS 2020Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford.
Streamable Regular Transductions.
[Paper]

2019

IJCAI 2019Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik.
Synthesizing Datalog Programs Using Numerical Relaxation.
[Paper], [Full version]
PLDI 2019Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik.
Continuously Reasoning About Programs Using Differential Bayesian Inference.
Distinguished Paper Award
[Paper], [Slides], [Video Abstract]

2018

NeurIPS 2018
Spotlight
Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song.
Learning Loop Invariants for Program Verification.
[Paper], [Poster], [Video]
MLP 2018Mukund Raghothaman, Sulekha Kulkarni, Richard Zhang, Xujie Si, Kihong Heo, Woosuk Lee, Mayur Naik.
Beyond Deductive Methods in Program Analysis.
[Draft], [Slides], [Video]
PLDI 2018Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik.
User-Guided Program Reasoning Using Bayesian Inference.
[Paper], [Full version], [Slides], [Video]

2017

PLDI 2017Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary Ives, Sanjeev Khanna.
StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries Over Streaming Data.
[Paper]
2017Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss, Viktor Kuncak.
On Repair With Probabilistic Attribute Grammars.
[Draft]
2017Mukund Raghothaman.
Regular Programming Over Data Streams.
Ph.D. Thesis. University of Pennsylvania.
[Thesis], [Slides]

2016

ICSE 2016Mukund Raghothaman, Yi Wei, and Youssef Hamadi.
SWIM: Synthesize What I Mean. Code Search and Idiomatic Snippet Synthesis
[Paper], [Full version], [Slides], [Extended Slides]
ESOP 2016Rajeev Alur, Dana Fisman, and Mukund Raghothaman.
Regular Programming for Quantitative Properties of Data Streams.
[Paper], [Full version], [Slides], [IBM PL Day 2015 Slides]

2015

CAV 2015Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, and Abhishek Udupa.
Automatic Completion of Distributed Protocols With Symmetry.
[Paper], [Full version]
POPL 2015Rajeev Alur, Loris D'Antoni, and Mukund Raghothaman.
DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations.
[Paper], [Full version], [Slides]
2015Rajeev Alur, Rastislav Bodik, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa.
Syntax-Guided Synthesis.
In Dependable Software Systems Engineering.
[Paper] (This is the extended version of the SyGuS proposal)

2014

CSL-LICS 2014Rajeev Alur, Adam Freilich, and Mukund Raghothaman.
Regular Combinators for String Transformations.
[Paper], [Full version], [Slides]
HVC 2014Rajeev Alur, Milo Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, and Abhishek Udupa.
Synthesizing Finite-State Protocols From Scenarios and Requirements.
[Paper], [Full version]
2014Mukund Raghothaman and Abhishek Udupa.
Language to specify syntax-guided synthesis problems.
CoRR, abs/1405.5590.
[arXiv]

2013

FMCAD 2013Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo Martin, Mukund Raghothaman, Sanjit Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa.
Syntax-Guided Synthesis.
[Paper], [Extended version]
ICALP 2013Rajeev Alur and Mukund Raghothaman.
Decision Problems for Additive Regular Functions.
[Paper], [Full version], [Slides]
LICS 2013Rajeev Alur, Loris D'Antoni, Jyotirmoy Deshmukh, Mukund Raghothaman, and Yifei Yuan.
Regular Functions and Cost Register Automata.
[Paper], [Full version]

Last updated: Fri Aug 20 11:52:16 PM PDT 2021