BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Raghothaman:Mukund

Contributed to:

CAV 20152015
POPL 20152015
CSL-LICS 20142014
ICALP (2) 20132013
LICS 20132013
ESOP 20162016
PLDI 20172017
PLDI 20182018
PLDI 20192019
POPL 20202020

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.