Mukund Raghothaman

According to our database, Mukund Raghothaman authored at least 36 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Generative Explanations for Program Synthesizers.

Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman

CoRR, 2024

Superflows: A New Tool for Forensic Network Flow Analysis.

Michael Collins, Jyotirmoy V. Deshmukh, Dristi Dinesh, Mukund Raghothaman, Srivatsan Ravi, Yuan Xia

CoRR, 2024

2023

Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates.

Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman

Proc. ACM Program. Lang., October, 2023

Explainable Program Synthesis by Localizing Specifications.

Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman

Proc. ACM Program. Lang., October, 2023

Synthesizing Formal Network Specifications From Input-Output Examples.

Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo

IEEE/ACM Trans. Netw., June, 2023

Data-Driven Template-Free Invariant Generation.

Yuan Xia, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi

CoRR, 2023

The SyGuS Language Standard Version 2.1.

Saswat Padhi, Elizabeth Polgreen, Mukund Raghothaman, Andrew Reynolds, Abhishek Udupa

CoRR, 2023

Automatic Rollback Suggestions for Incremental Datalog Evaluation.

David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz

Proceedings of the Practical Aspects of Declarative Languages, 2023

2022

Learning Probabilistic Models for Static Analysis Alarms.

Hyunsu Kim, Mukund Raghothaman, Kihong Heo

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Sporq: An Interactive Environment for Exploring Code using Query-by-Example.

Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman

Proceedings of the UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, 2021

Boosting static analysis accuracy with instrumented test executions.

Tianyi Chen, Kihong Heo, Mukund Raghothaman

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Towards Elastic Incrementalization for Datalog.

David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Example-guided synthesis of relational queries.

Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Data-Driven Synthesis of Provably Sound Side Channel Analyses.

Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

GENSYNTH: Synthesizing Datalog Programs without Language Bias.

Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Streamable regular transductions.

Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford

Theor. Comput. Sci., 2020

Provenance-guided synthesis of Datalog programs.

Mukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik, Bernhard Scholz

Proc. ACM Program. Lang., 2020

2019

Continuously reasoning about programs using differential Bayesian inference.

Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Synthesizing Datalog Programs using Numerical Relaxation.

Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

User-guided program reasoning using Bayesian inference.

Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Learning Loop Invariants for Program Verification.

Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017

On Repair with Probabilistic Attribute Grammars.

Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss, Viktor Kuncak

CoRR, 2017

StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data.

Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis.

Mukund Raghothaman, Yi Wei, Youssef Hamadi

Proceedings of the 38th International Conference on Software Engineering, 2016

Regular Programming for Quantitative Properties of Data Streams.

Rajeev Alur, Dana Fisman, Mukund Raghothaman

Proceedings of the Programming Languages and Systems, 2016

2015

Syntax-Guided Synthesis.

Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa

Proceedings of the Dependable Software Systems Engineering, 2015

SWIM: Synthesizing What I Mean.

Mukund Raghothaman, Yi Wei, Youssef Hamadi

CoRR, 2015

DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations.

Rajeev Alur, Loris D'Antoni, Mukund Raghothaman

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Automatic Completion of Distributed Protocols with Symmetry.

Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Language to Specify Syntax-Guided Synthesis Problems.

Mukund Raghothaman, Abhishek Udupa

CoRR, 2014

Synthesizing Finite-State Protocols from Scenarios and Requirements.

Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa

Proceedings of the Hardware and Software: Verification and Testing, 2014

Regular combinators for string transformations.

Rajeev Alur, Adam Freilich, Mukund Raghothaman

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Regular Functions and Cost Register Automata.

Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Decision Problems for Additive Regular Functions.

Rajeev Alur, Mukund Raghothaman

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Syntax-guided synthesis.

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

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2011

Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems

Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan

CoRR, 2011