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 × India
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:
D.Pichardie S.Blazy S.Jagannathan J.Vitek A.Maroneze J.Jourdan X.Leroy G.Petri D.Demange L.Zhao G.Barthe B.Grégoire Rémi Hutin Alix Trieu
Talks about:
formal (3) verifi (2) compil (2) verif (2) interpret (1) constant (1) abstract (1) preserv (1) analysi (1) static (1)

Person: Vincent Laporte

DBLP DBLP: Laporte:Vincent

Contributed to:

POPL 20152015
PLDI 20142014
POPL 20132013
SAS 20132013
POPL 20202020

Wrote 5 papers:

POPL-2015-JourdanLBLP #c
A Formally-Verified C Static Analyzer (JHJ, VL, SB, XL, DP), pp. 247–259.
PLDI-2014-JagannathanPVPL #compilation #refinement
Atomicity refinement for verified compilation (SJ, GP, JV, DP, VL), p. 5.
POPL-2013-DemangeLZJPV #java #memory management
Plan B: a buffered memory model for Java (DD, VL, LZ, SJ, DP, JV), pp. 329–342.
SAS-2013-BlazyLMP #abstract interpretation #analysis #c #verification
Formal Verification of a C Value Analysis Based on Abstract Interpretation (SB, VL, AM, DP), pp. 324–344.
POPL-2020-BartheBGHLPT #c #compilation #verification
Formal verification of a constant-time preserving C compiler (GB, SB, BG, RH, VL, DP, AT), p. 30.

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.