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 × Italy
1 × USA
1 × United Kingdom
Collaborated with:
J.Filliâtre J.C.Blanchette L.Gondelman M.Clochard C.Marché C.Dross S.Conchon J.Kanig
Talks about:
ghost (2) polymorph (1) trigger (1) program (1) monitor (1) spirit (1) reason (1) prover (1) deduct (1) where (1)

Person: Andrei Paskevich

DBLP DBLP: Paskevich:Andrei

Contributed to:

CAV 20142014
CADE 20132013
ESOP 20132013
SMT 20122012
POPL 20202020

Wrote 5 papers:

The Spirit of Ghost Code (JCF, LG, AP), pp. 1–16.
CADE-2013-BlanchetteP #first-order #morphism #named #polymorphism
TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism (JCB, AP), pp. 414–420.
ESOP-2013-FilliatreP #named #proving #source code #why
Why3 — Where Programs Meet Provers (JCF, AP), pp. 125–128.
SMT-2012-DrossCKP #reasoning
Reasoning with Triggers (CD, SC, JK, AP), pp. 22–31.
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.