Mukund Raghothaman

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 33

Top Topics

Datalog Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Michael Collins, Jyotirmoy V. Deshmukh, Dristi Dinesh, Mukund Raghothaman, Srivatsan Ravi, Yuan Xia
Superflows: A New Tool for Forensic Network Flow Analysis. CoRR (2024)
Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman
Generative Explanations for Program Synthesizers. CoRR (2024)
Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman
NomNom: Explanatory Function Names for Program Synthesizers. ICSE Companion (2024)
Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman
Explainable Program Synthesis by Localizing Specifications. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Yuan Xia, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi
Data-Driven Template-Free Invariant Generation. CoRR (2023)
Saswat Padhi, Elizabeth Polgreen, Mukund Raghothaman, Andrew Reynolds, Abhishek Udupa
The SyGuS Language Standard Version 2.1. CoRR (2023)
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
Automatic Rollback Suggestions for Incremental Datalog Evaluation. PADL (2023)
Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo
Synthesizing Formal Network Specifications From Input-Output Examples. IEEE/ACM Trans. Netw. 31 (3) (2023)
Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Hyunsu Kim, Mukund Raghothaman, Kihong Heo
Learning Probabilistic Models for Static Analysis Alarms. ICSE (2022)
Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang
Data-Driven Synthesis of Provably Sound Side Channel Analyses. ICSE (2021)
Tianyi Chen, Kihong Heo, Mukund Raghothaman
Boosting static analysis accuracy with instrumented test executions. ESEC/SIGSOFT FSE (2021)
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
Towards Elastic Incrementalization for Datalog. PPDP (2021)
Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman
Sporq: An Interactive Environment for Exploring Code using Query-by-Example. UIST (2021)
Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang
Data-Driven Synthesis of Provably Sound Side Channel Analyses. CoRR (2021)
Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik
GENSYNTH: Synthesizing Datalog Programs without Language Bias. AAAI (2021)
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman
Example-guided synthesis of relational queries. PLDI (2021)
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
Streamable regular transductions. Theor. Comput. Sci. 807 (2020)
Mukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik, Bernhard Scholz
Provenance-guided synthesis of Datalog programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
Synthesizing Datalog Programs using Numerical Relaxation. IJCAI (2019)
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
Synthesizing Datalog Programs Using Numerical Relaxation. CoRR (2019)
Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik
Continuously reasoning about programs using differential Bayesian inference. PLDI (2019)
Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song
Learning Loop Invariants for Program Verification. NeurIPS (2018)
Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik
User-guided program reasoning using Bayesian inference. PLDI (2018)
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
Streamable Regular Transductions. CoRR (2018)
Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss, Viktor Kuncak
On Repair with Probabilistic Attribute Grammars. CoRR (2017)
Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna
StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. PLDI (2017)
Rajeev Alur, Dana Fisman, Mukund Raghothaman
Regular Programming for Quantitative Properties of Data Streams. ESOP (2016)
Mukund Raghothaman, Yi Wei, Youssef Hamadi
SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis. ICSE (2016)
Mukund Raghothaman, Yi Wei, Youssef Hamadi
SWIM: Synthesizing What I Mean. CoRR (2015)
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
Automatic Completion of Distributed Protocols with Symmetry. CoRR (2015)
Rajeev Alur, Loris D'Antoni, Mukund Raghothaman
DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. POPL (2015)
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
Automatic Completion of Distributed Protocols with Symmetry. CAV (2) (2015)
Rajeev Alur, Adam Freilich, Mukund Raghothaman
Regular combinators for string transformations. CSL-LICS (2014)
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
Synthesizing Finite-state Protocols from Scenarios and Requirements. CoRR (2014)
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
Synthesizing Finite-State Protocols from Scenarios and Requirements. Haifa Verification Conference (2014)
Mukund Raghothaman, Abhishek Udupa
Language to Specify Syntax-Guided Synthesis Problems. CoRR (2014)
Rajeev Alur, Adam Freilich, Mukund Raghothaman
Regular Combinators for String Transformations. CoRR (2014)
Rajeev Alur, Mukund Raghothaman
Decision Problems for Additive Regular Functions CoRR (2013)
Rajeev Alur, Mukund Raghothaman
Decision Problems for Additive Regular Functions. ICALP (2) (2013)
Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
Syntax-guided synthesis. FMCAD (2013)
Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan
Regular Functions and Cost Register Automata. LICS (2013)
Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems CoRR (2011)