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 × Ireland
1 × Norway
1 × Poland
3 × USA
Collaborated with:
S.L.Torre G.Parlato X.Qiu A.Stefanescu P.Garg H.Mai E.Pek H.Xue S.T.King
Talks about:
structur (2) program (2) recurs (2) proof (2) data (2) calculus (1) synthes (1) reactiv (1) languag (1) express (1)

Person: Parthasarathy Madhusudan

DBLP DBLP: Madhusudan:Parthasarathy

Contributed to:

ASPLOS 20132013
PLDI 20132013
POPL 20122012
CSL 20112011
PLDI 20092009
LICS 20072007

Wrote 6 papers:

ASPLOS-2013-MaiPXKM #invariant #security #verification
Verifying security invariants in ExpressOS (HM, EP, HX, STK, PM), pp. 293–304.
PLDI-2013-Qiu0SM #proving
Natural proofs for structure, data, and separation (XQ, PG, AS, PM), pp. 231–242.
POPL-2012-MadhusudanQS #induction #proving #recursion
Recursive proofs for inductive tree data-structures (PM, XQ, AS), pp. 123–136.
CSL-2011-Madhusudan #source code
Synthesizing Reactive Programs (PM), pp. 428–442.
PLDI-2009-TorreMP #calculus #fixpoint #recursion #source code #using
Analyzing recursive programs using a fixed-point calculus (SLT, PM, GP), pp. 211–222.
LICS-2007-TorreMP #context-sensitive grammar #robust
A Robust Class of Context-Sensitive Languages (SLT, PM, GP), pp. 161–170.

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.