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.
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]


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.


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]


NeurIPS 2018
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]


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


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]


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)


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.


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: Mon Jan 10 03:28:23 AM PST 2022