Write a Blog >>
LCTES 2020
Mon 15 - Fri 19 June 2020
co-located with PLDI 2020
PLDI 2020 (series) / LCTES 2020 (series) / LCTES 2020 /

Intermittent Computing with Peripherals, Formally Verified

Gautier Berthou, Pierre-Evariste Dagand, Delphine Demange, Rémi Oudin, Tanguy Risset
LCTES 2020
small-avatar
Gautier Berthou
Univ Lyon, INSA Lyon, Inria, CITI
France
Pierre-Evariste Dagand
Pierre-Evariste Dagand
LIP6/CNRS
France
Delphine Demange
Delphine Demange
Univ Rennes, Inria, CNRS, IRISA
France
small-avatar
Rémi Oudin
Sorbonne University — LIP6
France
small-avatar
Tanguy Risset
Univ. Lyon, INSA-Lyon, Inria, CITI