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 × 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 DBLP: Jourdan:Jacques=Henri

Contributed to:

POPL 20152015
ESOP 20122012
ESOP 20172017
ESOP 20192019
POPL 20182018
POPL 20202020

Wrote 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.
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.

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.