OUDIN Nehalenniæ Lilith


Team : Whisper
Invited by : Pierre-Evariste DAGAND
Arrival date : 04/08/2019
Departure date : 05/01/2019

2020 Publications

  • 2020
    • G. Berthou, P.‑E. Dagand, D. Demange, R. Oudin, T. Risset : “Intermittent Computing with Peripherals, Formally Verified”, LCTES '20: 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems Proceedings, London / Virtual, United Kingdom, pp. 85-96, (ACM) (2020)