Presentations

1. A Conceptual framework for safe initialization (Conference talk) at Splash/OOPSLA (10/2023)

   Presentation for the OOPSLA 2022 paper (link) at Splash 2023.

   [Slides]
2. A Conceptual framework for safe initialization (Extended version) at Cambium seminar (Inria) (10/2023)

   Extended presentation for the OOPSLA 2022 paper (link) done at the Cambium seminar. Slides 14 and after are the extended version (presentation of the calculus, semantics, typing, soundness proof)

   [Slides]