Mukund Raghothaman
University of Southern California
H-index: 17
North America-United States
Top articles of Mukund Raghothaman
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Superflows: A New Tool for Forensic Network Flow Analysis | arXiv preprint arXiv:2403.01314 | Michael Collins Jyotirmoy V Deshmukh Dristi Dinesh Mukund Raghothaman Srivatsan Ravi | 2024/3/2 |
Generative Explanations for Program Synthesizers | arXiv preprint arXiv:2403.03429 | Amirmohammad Nazari Souti Chattopadhyay Swabha Swayamdipta Mukund Raghothaman | 2024/3/6 |
Automatic Rollback Suggestions for Incremental Datalog Evaluation | David Zhao Pavle Subotić Mukund Raghothaman Bernhard Scholz | 2023/1/8 | |
Data-Driven Template-Free Invariant Generation | arXiv preprint arXiv:2312.17527 | Yuan Xia Jyotirmoy V Deshmukh Mukund Raghothaman Srivatsan Ravi | 2023/12/29 |
The SyGuS Language Standard Version 2.1 | arXiv preprint arXiv:2312.06001 | Saswat Padhi Elizabeth Polgreen Mukund Raghothaman Andrew Reynolds Abhishek Udupa | 2023/12/10 |
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates | Proceedings of the ACM on Programming Languages | Aalok Thakkar Nathaniel Sands George Petrou Rajeev Alur Mayur Naik | 2023/10/16 |
Explainable Program Synthesis by Localizing Specifications | Proceedings of the ACM on Programming Languages | Amirmohammad Nazari Yifei Huang Roopsha Samanta Arjun Radhakrishna Mukund Raghothaman | 2023/10/16 |
Synthesizing Formal Network Specifications From Input-Output Examples | IEEE/ACM Transactions on Networking | Haoxian Chen Chenyuan Wu Andrew Zhao Mukund Raghothaman Mayur Naik | 2022/9/29 |
Learning probabilistic models for static analysis alarms | Hyunsu Kim Mukund Raghothaman Kihong Heo | 2022/5/21 | |
S: An Interactive Environment for Exploring Code using ery-by-Example | Aaditya Naik Jonothan Mendelson Nathaniel Sands Yuepeng Wang Mayur Naik | 2021 | |
Boosting static analysis accuracy with instrumented test executions | Tianyi Chen Kihong Heo Mukund Raghothaman | 2021/8/20 | |
Example-guided synthesis of relational queries | Aalok Thakkar Aaditya Naik Nathaniel Sands Rajeev Alur Mayur Naik | 2021/6/19 | |
Data-driven synthesis of provably sound side channel analyses | Jingbo Wang Chungha Sung Mukund Raghothaman Chao Wang | 2021/5/22 | |
Sporq: An interactive environment for exploring code using query-by-example | Aaditya Naik Jonathan Mendelson Nathaniel Sands Yuepeng Wang Mayur Naik | 2021/10/10 | |
Gensynth: Synthesizing datalog programs without language bias | Proceedings of the AAAI Conference on Artificial Intelligence | Jonathan Mendelson Aaditya Naik Mukund Raghothaman Mayur Naik | 2021/5/18 |
Towards elastic incrementalization for datalog | David Zhao Pavle Subotic Mukund Raghothaman Bernhard Scholz | 2021/9/6 | |
Streamable Regular Transductions | Theoretical Computer Science (TCS) | Rajeev Alur Dana Fisman Konstantinos Mamouras Mukund Raghothaman Caleb Stanford | 2020/2/6 |
Provenance-Guided Synthesis of Datalog Programs | Mukund Raghothaman Jonathan Mendelson David Zhao Bernhard Scholz Mayur Naik | 2020 |