Travelled to:1 × Austria
1 × India
1 × Latvia
2 × USA
Collaborated with:R.Alur M.Naik L.D'Antoni K.Heo A.Freilich D.Fisman Sulekha Kulkarni X.Si C.Stergiou S.Tripakis A.Udupa J.V.Deshmukh Y.Yuan K.Mamouras Z.G.Ives S.Khanna Jonathan Mendelson David Zhao B.Scholz
Talks about:regular (5) program (4) stream (3) transform (2) function (2) bayesian (2) quantit (2) string (2) reason (2) effici (2)
Person: Mukund Raghothaman
DBLP: Raghothaman:Mukund
Contributed to:
2015
2015
2014
20132013
2016
2017201820192020Wrote 10 papers:
- CAV-2015-AlurRSTU #automation #distributed #protocol #symmetry
- Automatic Completion of Distributed Protocols with Symmetry (RA, MR, CS, ST, AU), pp. 395–412.
- POPL-2015-AlurDR #declarative #named #string
- DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations (RA, LD, MR), pp. 125–137.
- LICS-CSL-2014-AlurFR #combinator #string
- Regular combinators for string transformations (RA, AF, MR), p. 10.
- ICALP-v2-2013-AlurR #problem
- Decision Problems for Additive Regular Functions (RA, MR), pp. 37–48.
- LICS-2013-AlurDDRY #automaton
- Regular Functions and Cost Register Automata (RA, LD, JVD, MR, YY), pp. 13–22.
- ESOP-2016-AlurFR #data type #programming
- Regular Programming for Quantitative Properties of Data Streams (RA, DF, MR), pp. 15–40.
- PLDI-2017-MamourasRAIK #composition #evaluation #named #performance #query #specification #streaming
- StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data (KM, MR, RA, ZGI, SK), pp. 693–708.
- PLDI-2018-RaghothamanKHN #reasoning #using
- User-guided program reasoning using Bayesian inference (MR, SK, KH, MN), pp. 722–735.
- PLDI-2019-HeoRSN #difference #reasoning #source code #using
- Continuously reasoning about programs using differential Bayesian inference (KH, MR, XS, MN), pp. 561–575.
- POPL-2020-RaghothamanMZNS #datalog #source code #synthesis
- Provenance-guided synthesis of Datalog programs (MR, JM, DZ, MN, BS), p. 27.