Travelled to:1 × Estonia
1 × India
Collaborated with:F.Pottier D.Dreyer X.Leroy R.Krebbers R.J.0002 G.Mével Paulo Emílio de Vilhena Hoang-Hai Dang J.Kaiser V.Laporte S.Blazy D.Pichardie A.Bizjak L.Birkedal
Talks about:rust (3) verifi (2) time (2) belt (2) iri (2) receipt (1) program (1) languag (1) generic (1) foundat (1)
Person: Jacques-Henri Jourdan
DBLP: Jourdan:Jacques=Henri
Contributed to:
2015
20122017201920182020Wrote 7 papers:
- POPL-2015-JourdanLBLP #c
- A Formally-Verified C Static Analyzer (JHJ, VL, SB, XL, DP), pp. 247–259.
- ESOP-2012-JourdanPL #lr #parsing #validation
- Validating LR(1) Parsers (JHJ, FP, XL), pp. 397–416.
- ESOP-2017-Krebbers0BJDB #concurrent #higher-order #logic
- The Essence of Higher-Order Concurrent Separation Logic (RK, RJ0, AB, JHJ, DD, LB), pp. 696–723.
- ESOP-2019-MevelJP
- Time Credits and Time Receipts in Iris (GM, JHJ, FP), pp. 3–29.
- POPL-2018-0002JKD #named #programming language #rust
- RustBelt: securing the foundations of the rust programming language (RJ0, JHJ, RK, DD), p. 34.
- POPL-2020-DangJKD #memory management
- RustBelt meets relaxed memory (HHD, JHJ, JOK, DD), p. 29.
- POPL-2020-VilhenaPJ #game studies #verification
- Spy game: verifying a local generic solver in Iris (PEdV, FP, JHJ), p. 28.