Travelled to:1 × Canada
Collaborated with:D.Dreyer Hoang-Hai Dang V.Vafeiadis J.Jourdan O.Lahav G.Neis C.Hur C.McLaughlin
Talks about:memori (2) composit (1) pilsner (1) languag (1) consist (1) verifi (1) strong (1) releas (1) reason (1) higher (1)
Person: Jan-Oliver Kaiser
DBLP: Kaiser:Jan=Oliver
Contributed to:
2015
2017
2020Wrote 3 papers:
- ICFP-2015-NeisHKMDV #compilation #higher-order #imperative #named
- Pilsner: a compositionally verified compiler for a higher-order imperative language (GN, CKH, JOK, CM, DD, VV), pp. 166–178.
- ECOOP-2017-KaiserDDLV #consistency #logic #memory management #reasoning
- Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (JOK, HHD, DD, OL, VV), p. 29.
- POPL-2020-DangJKD #memory management
- RustBelt meets relaxed memory (HHD, JHJ, JOK, DD), p. 29.