Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems - Rajeev Alur; Loris D'Antoni; Jyotirmoy V. Deshmukh; Mukund Raghothaman; Yifei Yuan 001 (CoRR, 2011)

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 (FMCAD, 2013)

Decision Problems for Additive Regular Functions. - Rajeev Alur; Mukund Raghothaman (ICALP (2), 2013)

Regular Functions and Cost Register Automata. - Rajeev Alur; Loris D'Antoni; Jyotirmoy V. Deshmukh; Mukund Raghothaman; Yifei Yuan 001 (LICS, 2013)

Regular combinators for string transformations. - Rajeev Alur; Adam Freilich; Mukund Raghothaman (CSL-LICS, 2014)

Synthesizing Finite-State Protocols from Scenarios and Requirements. - Rajeev Alur; Milo M. K. Martin; Mukund Raghothaman; Christos Stergiou 001; Stavros Tripakis; Abhishek Udupa (Haifa Verification Conference, 2014)

Language to Specify Syntax-Guided Synthesis Problems. - Mukund Raghothaman; Abhishek Udupa (CoRR, 2014)

Automatic Completion of Distributed Protocols with Symmetry. - Rajeev Alur; Mukund Raghothaman; Christos Stergiou 001; Stavros Tripakis; Abhishek Udupa (CAV (2), 2015)

DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. - Rajeev Alur; Loris D'Antoni; Mukund Raghothaman (POPL, 2015)

SWIM: Synthesizing What I Mean. - Mukund Raghothaman; Yi Wei; Youssef Hamadi (CoRR, 2015)

Syntax-Guided Synthesis. - Rajeev Alur; Rastislav Bodík; Eric Dallal; Dana Fisman; Pranav Garg 001; Garvit Juniwal; Hadas Kress-Gazit; P. Madhusudan; Milo M. K. Martin; Mukund Raghothaman; Shambwaditya Saha; Sanjit A. Seshia; et al. (Dependable Software Systems Engineering, 2015)

Regular Programming for Quantitative Properties of Data Streams. - Rajeev Alur; Dana Fisman; Mukund Raghothaman (ESOP, 2016)

SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis. - Mukund Raghothaman; Yi Wei; Youssef Hamadi (ICSE, 2016)

StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. - Konstantinos Mamouras; Mukund Raghothaman; Rajeev Alur; Zachary G. Ives; Sanjeev Khanna (PLDI, 2017)

On Repair with Probabilistic Attribute Grammars. - Manos Koukoutos; Mukund Raghothaman; Etienne Kneuss; Viktor Kuncak (CoRR, 2017)

Learning Loop Invariants for Program Verification. - Xujie Si; Hanjun Dai; Mukund Raghothaman; Mayur Naik; Le Song (NeurIPS, 2018)

User-guided program reasoning using Bayesian inference. - Mukund Raghothaman; Sulekha Kulkarni; Kihong Heo; Mayur Naik (PLDI, 2018)

Synthesizing Datalog Programs using Numerical Relaxation. - Xujie Si; Mukund Raghothaman; Kihong Heo; Mayur Naik (IJCAI, 2019)

Continuously reasoning about programs using differential Bayesian inference. - Kihong Heo; Mukund Raghothaman; Xujie Si; Mayur Naik (PLDI, 2019)

Provenance-guided synthesis of Datalog programs. - Mukund Raghothaman; Jonathan Mendelson; David Zhao 001; Mayur Naik; Bernhard Scholz (Proc. ACM Program. Lang., 2020)

Streamable regular transductions. - Rajeev Alur; Dana Fisman; Konstantinos Mamouras; Mukund Raghothaman; Caleb Stanford (Theor. Comput. Sci., 2020)

GENSYNTH: Synthesizing Datalog Programs without Language Bias. - Jonathan Mendelson; Aaditya Naik; Mukund Raghothaman; Mayur Naik (AAAI, 2021)

Data-Driven Synthesis of Provably Sound Side Channel Analyses. - Jingbo Wang 006; Chungha Sung; Mukund Raghothaman; Chao Wang 001 (ICSE, 2021)

Example-guided synthesis of relational queries. - Aalok Thakkar; Aaditya Naik; Nathaniel Sands; Rajeev Alur; Mayur Naik; Mukund Raghothaman (PLDI, 2021)

Towards Elastic Incrementalization for Datalog. - David Zhao 001; Pavle Subotic; Mukund Raghothaman; Bernhard Scholz (PPDP, 2021)

Boosting static analysis accuracy with instrumented test executions. - Tianyi Chen; Kihong Heo; Mukund Raghothaman (ESEC/SIGSOFT FSE, 2021)

Sporq: An Interactive Environment for Exploring Code using Query-by-Example. - Aaditya Naik; Jonathan Mendelson; Nathaniel Sands; Yuepeng Wang 001; Mayur Naik; Mukund Raghothaman (UIST, 2021)

Learning Probabilistic Models for Static Analysis Alarms. - Hyunsu Kim; Mukund Raghothaman; Kihong Heo (ICSE, 2022)

Automatic Rollback Suggestions for Incremental Datalog Evaluation. - David Zhao 001; Pavle Subotic; Mukund Raghothaman; Bernhard Scholz (PADL, 2023)

The SyGuS Language Standard Version 2.1. - Saswat Padhi; Elizabeth Polgreen; Mukund Raghothaman; Andrew Reynolds 001; Abhishek Udupa (CoRR, 2023)

Data-Driven Template-Free Invariant Generation. - Yuan Xia; Jyotirmoy V. Deshmukh; Mukund Raghothaman; Srivatsan Ravi (CoRR, 2023)

Synthesizing Formal Network Specifications From Input-Output Examples. - Haoxian Chen 001; Chenyuan Wu; Andrew Zhao; Mukund Raghothaman; Mayur Naik; Boon Thau Loo (IEEE/ACM Trans. Netw., 2023)

Explainable Program Synthesis by Localizing Specifications. - Amirmohammad Nazari; Yifei Huang 007; Roopsha Samanta; Arjun Radhakrishna; Mukund Raghothaman (Proc. ACM Program. Lang., 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., 2023)

BinHunter: A Fine-Grained Graph Representation for Localizing Vulnerabilities in Binary Executables*. - Sima Arasteh; Jelena Mirkovic; Mukund Raghothaman; Christophe Hauser (ACSAC, 2024)

Optimal Flow Collector Placement In Experimental Networks. - Ganesh Chennimalai Sankaran; Mukund Raghothaman; M. Patrick Collins (EuroS&P Workshops, 2024)

Localized Explanations for Automatically Synthesized Network Configurations. - Amirmohammad Nazari; Yongzheng Zhang; Mukund Raghothaman; Haoxian Chen 001 (HotNets, 2024)

NomNom: Explanatory Function Names for Program Synthesizers. - Amirmohammad Nazari; Souti Chattopadhyay; Swabha Swayamdipta; Mukund Raghothaman (ICSE Companion, 2024)

Generating Function Names to Improve Comprehension of Synthesized Programs. - Amirmohammad Nazari; Swabha Swayamdipta; Souti Chattopadhyay; Mukund Raghothaman (VL/HCC, 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)

Generative Explanations for Program Synthesizers. - Amirmohammad Nazari; Souti Chattopadhyay; Swabha Swayamdipta; Mukund Raghothaman (CoRR, 2024)

Reusing Legacy Code in WebAssembly: Key Challenges of Cross-Compilation and Code Semantics Preservation. - Sara Baradaran; Liyan Huang; Mukund Raghothaman; Weihang Wang 006 (CoRR, 2024)

LLM-guided Predicate Discovery and Data Augmentation for Learning Likely Program Invariants. - Yuan Xia; Aabha Shailesh Pingle; Deepayan Sur; Jyotirmoy Deshmukh; Mukund Raghothaman; Srivatsan Ravi (SAC, 2025)

BinPool: A Dataset of Vulnerabilities for Binary Security Analysis. - Sima Arasteh; Georgios Nikitopoulos; Wei-Cheng Wu; Nicolaas Weideman; Aaron Portnoy; Mukund Raghothaman; Christophe Hauser (SIGSOFT FSE Companion, 2025)

Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning. - Yuan Xia; Deepayan Sur; Aabha Shailesh Pingle; Jyotirmoy V. Deshmukh; Mukund Raghothaman; Srivatsan Ravi (VMCAI (1), 2025)

Membership Testing for Semantic Regular Expressions. - Yifei Huang 007; Matin Amini; Alexis Le Glaunec; Konstantinos Mamouras; Mukund Raghothaman (Proc. ACM Program. Lang., 2025)

Provenance Guided Rollback Suggestions. - David Zhao 001; Pavle Subotic; Mukund Raghothaman; Bernhard Scholz (Theory Pract. Log. Program., 2025)

Trim My View: An LLM-Based Code Query System for Module Retrieval in Robotic Firmware. - Sima Arasteh; Pegah Jandaghi; Nicolaas Weideman; Dennis Perepech; Mukund Raghothaman; Christophe Hauser; Luis Garcia 001 (CoRR, 2025)

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables. - Nicolaas Weideman; Sima Arasteh; Mukund Raghothaman; Jelena Mirkovic; Christophe Hauser (CoRR, 2025)