The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Mukund Raghothaman" ( http://dblp.L3S.de/Authors/Mukund_Raghothaman )

  Author page on DBLP  Author page in RDF  Community of Mukund Raghothaman in ASPL-2

Publication years (Num. hits)
2011-2015 (15) 2016-2019 (10)
Publication types (Num. hits)
article(10) incollection(1) inproceedings(14)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 26 publication records. Showing 25 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik Synthesizing Datalog Programs Using Numerical Relaxation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik Continuously reasoning about programs using differential Bayesian inference. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik Synthesizing Datalog Programs using Numerical Relaxation. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford Streamable Regular Transductions. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik User-guided program reasoning using Bayesian inference. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song Learning Loop Invariants for Program Verification. Search on Bibsonomy NeurIPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss, Viktor Kuncak On Repair with Probabilistic Attribute Grammars. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Dana Fisman, Mukund Raghothaman Regular Programming for Quantitative Properties of Data Streams. Search on Bibsonomy ESOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mukund Raghothaman, Yi Wei, Youssef Hamadi SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis. Search on Bibsonomy ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Mukund Raghothaman, Christos Stergiou 0001, Stavros Tripakis, Abhishek Udupa Automatic Completion of Distributed Protocols with Symmetry. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mukund Raghothaman, Yi Wei, Youssef Hamadi SWIM: Synthesizing What I Mean. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg 0001, 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. Search on Bibsonomy Dependable Software Systems Engineering The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Mukund Raghothaman, Christos Stergiou 0001, Stavros Tripakis, Abhishek Udupa Automatic Completion of Distributed Protocols with Symmetry. Search on Bibsonomy CAV (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Loris D'Antoni, Mukund Raghothaman DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. Search on Bibsonomy POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou 0001, Stavros Tripakis, Abhishek Udupa Synthesizing Finite-state Protocols from Scenarios and Requirements. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Rajeev Alur, Adam Freilich, Mukund Raghothaman Regular Combinators for String Transformations. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mukund Raghothaman, Abhishek Udupa Language to Specify Syntax-Guided Synthesis Problems. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou 0001, Stavros Tripakis, Abhishek Udupa Synthesizing Finite-State Protocols from Scenarios and Requirements. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Adam Freilich, Mukund Raghothaman Regular combinators for string transformations. Search on Bibsonomy CSL-LICS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Mukund Raghothaman Decision Problems for Additive Regular Functions Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan Regular Functions and Cost Register Automata. Search on Bibsonomy LICS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Mukund Raghothaman Decision Problems for Additive Regular Functions. Search on Bibsonomy ICALP (2) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rajeev 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. Search on Bibsonomy FMCAD The full citation details ... 2013 DBLP  BibTeX  RDF
1Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #25 of 25 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license