Papers

2018

NIPS 2018
Spotlight
Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song.
Learning loop invariants for program verification.
To appear.
[Draft]
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]
2018Mukund Raghothaman, Xujie Si, Kihong Heo, Mayur Naik.
Difflog: Learning Datalog programs by continuous optimization.
In submission.
[Draft]
2018Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford.
Streamable regular transductions.
In submission.
[Draft]

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.
In submission.
[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.
[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]