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 × USA
Collaborated with:
S.Chaudhuri A.Solar-Lezama C.Marché A.Paskevich
Talks about:
synthesi (1) quantit (1) monitor (1) boolean (1) smooth (1) search (1) deduct (1) verif (1) proof (1) ghost (1)

Person: Martin Clochard

DBLP DBLP: Clochard:Martin

Contributed to:

POPL 20142014
POPL 20202020

Wrote 2 papers:

POPL-2014-ChaudhuriCS #proving #synthesis #using
Bridging boolean and quantitative synthesis using smoothed proof search (SC, MC, ASL), pp. 207–220.
POPL-2020-ClochardMP #deduction #monitoring #verification
Deductive verification with ghost monitors (MC, CM, AP), p. 26.

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.