default search action
Mukund Raghothaman
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c24]Ganesh Chennimalai Sankaran, Mukund Raghothaman, M. Patrick Collins:
Optimal Flow Collector Placement In Experimental Networks. EuroS&P Workshops 2024: 321-325 - [c23]Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman:
NomNom: Explanatory Function Names for Program Synthesizers. ICSE Companion 2024: 418-419 - [i15]Michael Collins, Jyotirmoy V. Deshmukh, Dristi Dinesh, Mukund Raghothaman, Srivatsan Ravi, Yuan Xia:
Superflows: A New Tool for Forensic Network Flow Analysis. CoRR abs/2403.01314 (2024) - [i14]Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman:
Generative Explanations for Program Synthesizers. CoRR abs/2403.03429 (2024) - 2023
- [j5]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): 1394-1417 (2023) - [j4]Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman:
Explainable Program Synthesis by Localizing Specifications. Proc. ACM Program. Lang. 7(OOPSLA2): 2171-2195 (2023) - [j3]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): 994-1009 (2023) - [c22]David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz:
Automatic Rollback Suggestions for Incremental Datalog Evaluation. PADL 2023: 295-312 - [i13]Saswat Padhi, Elizabeth Polgreen, Mukund Raghothaman, Andrew Reynolds, Abhishek Udupa:
The SyGuS Language Standard Version 2.1. CoRR abs/2312.06001 (2023) - [i12]Yuan Xia, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi:
Data-Driven Template-Free Invariant Generation. CoRR abs/2312.17527 (2023) - 2022
- [c21]Hyunsu Kim, Mukund Raghothaman, Kihong Heo:
Learning Probabilistic Models for Static Analysis Alarms. ICSE 2022: 1282-1293 - 2021
- [c20]Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik:
GENSYNTH: Synthesizing Datalog Programs without Language Bias. AAAI 2021: 6444-6453 - [c19]Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang:
Data-Driven Synthesis of Provably Sound Side Channel Analyses. ICSE 2021: 810-822 - [c18]Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman:
Example-guided synthesis of relational queries. PLDI 2021: 1110-1125 - [c17]David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz:
Towards Elastic Incrementalization for Datalog. PPDP 2021: 20:1-20:16 - [c16]Tianyi Chen, Kihong Heo, Mukund Raghothaman:
Boosting static analysis accuracy with instrumented test executions. ESEC/SIGSOFT FSE 2021: 1154-1165 - [c15]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: 84-99 - [i11]Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang:
Data-Driven Synthesis of Provably Sound Side Channel Analyses. CoRR abs/2102.06753 (2021) - 2020
- [j2]Mukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik, Bernhard Scholz:
Provenance-guided synthesis of Datalog programs. Proc. ACM Program. Lang. 4(POPL): 62:1-62:27 (2020) - [j1]Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford:
Streamable regular transductions. Theor. Comput. Sci. 807: 15-41 (2020)
2010 – 2019
- 2019
- [c14]Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik:
Synthesizing Datalog Programs using Numerical Relaxation. IJCAI 2019: 6117-6124 - [c13]Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik:
Continuously reasoning about programs using differential Bayesian inference. PLDI 2019: 561-575 - [i10]Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik:
Synthesizing Datalog Programs Using Numerical Relaxation. CoRR abs/1906.00163 (2019) - 2018
- [c12]Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song:
Learning Loop Invariants for Program Verification. NeurIPS 2018: 7762-7773 - [c11]Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik:
User-guided program reasoning using Bayesian inference. PLDI 2018: 722-735 - [i9]Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford:
Streamable Regular Transductions. CoRR abs/1807.03865 (2018) - 2017
- [c10]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: 693-708 - [i8]Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss, Viktor Kuncak:
On Repair with Probabilistic Attribute Grammars. CoRR abs/1707.04148 (2017) - 2016
- [c9]Rajeev Alur, Dana Fisman, Mukund Raghothaman:
Regular Programming for Quantitative Properties of Data Streams. ESOP 2016: 15-40 - [c8]Mukund Raghothaman, Yi Wei, Youssef Hamadi:
SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis. ICSE 2016: 357-367 - 2015
- [c7]Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Automatic Completion of Distributed Protocols with Symmetry. CAV (2) 2015: 395-412 - [c6]Rajeev Alur, Loris D'Antoni, Mukund Raghothaman:
DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. POPL 2015: 125-137 - [p1]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:
Syntax-Guided Synthesis. Dependable Software Systems Engineering 2015: 1-25 - [i7]Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Automatic Completion of Distributed Protocols with Symmetry. CoRR abs/1505.04409 (2015) - [i6]Mukund Raghothaman, Yi Wei, Youssef Hamadi:
SWIM: Synthesizing What I Mean. CoRR abs/1511.08497 (2015) - 2014
- [c5]Rajeev Alur, Adam Freilich, Mukund Raghothaman:
Regular combinators for string transformations. CSL-LICS 2014: 9:1-9:10 - [c4]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: 75-91 - [i5]Rajeev Alur, Adam Freilich, Mukund Raghothaman:
Regular Combinators for String Transformations. CoRR abs/1402.3021 (2014) - [i4]Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Synthesizing Finite-state Protocols from Scenarios and Requirements. CoRR abs/1402.7150 (2014) - [i3]Mukund Raghothaman, Abhishek Udupa:
Language to Specify Syntax-Guided Synthesis Problems. CoRR abs/1405.5590 (2014) - 2013
- [c3]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: 1-8 - [c2]Rajeev Alur, Mukund Raghothaman:
Decision Problems for Additive Regular Functions. ICALP (2) 2013: 37-48 - [c1]Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan:
Regular Functions and Cost Register Automata. LICS 2013: 13-22 - [i2]Rajeev Alur, Mukund Raghothaman:
Decision Problems for Additive Regular Functions. CoRR abs/1304.7029 (2013) - 2011
- [i1]Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan:
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems. CoRR abs/1111.0670 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint