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 × France
1 × Italy
2 × USA
Collaborated with:
V.Kuncak K.Vaswani R.Komondoor G.Ramalingam G.Ramalingam S.Kulal M.Mayer S.Gulwani
Talks about:
analysi (3) function (2) resourc (2) program (2) higher (2) verif (2) order (2) comparison (1) interpret (1) contract (1)

Person: Ravichandhran Madhavan

DBLP DBLP: Madhavan:Ravichandhran

Contributed to:

OOPSLA 20152015
CAV 20142014
SAS 20122012
OOPSLA 20112011
SAS 20112011
POPL 20172017

Wrote 6 papers:

OOPSLA-2015-MadhavanMGK #automation #comparison
Automating grammar comparison (RM, MM, SG, VK), pp. 183–200.
CAV-2014-MadhavanK #bound #functional #source code
Symbolic Resource Bound Inference for Functional Programs (RM, VK), pp. 762–778.
SAS-2012-MadhavanRV #analysis #composition #higher-order #source code
Modular Heap Analysis for Higher-Order Programs (RM, GR, KV), pp. 370–387.
OOPSLA-2011-MadhavanK #analysis #approximate #null #verification
Null dereference verification via over-approximated weakest pre-conditions analysis (RM, RK), pp. 1033–1052.
SAS-2011-MadhavanRV #abstract interpretation #analysis
Purity Analysis: An Abstract Interpretation Formulation (RM, GR, KV), pp. 7–24.
POPL-2017-MadhavanKK #contract #higher-order #verification
Contract-based resource verification for higher-order functions with memoization (RM, SK, VK), pp. 330–343.

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.