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: Paskevich:Andrei
Contributed to:
2014
2013
2013
2012
2020Wrote 5 papers:
- CAV-2014-FilliatreGP
- 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.