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: Laporte:Vincent
Contributed to:
2015
20142013
20132020Wrote 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.