Aurélien Coet -

Registered user since Mon 30 Sep 2019

Name:Aurélien Coet

Country:Switzerland

Affiliation:University of Geneva, Switzerland

Contributions

ICOOOLPS 2022	Author of Belief Programming with Map Family Decision Diagrams within the ICOOOLPS 2022-track
ICOOOLPS 2021	Presenter of Fuel: A Compiler Framework for Safe Memory Management within the ICOOOLPS-track
‹Programming› 2020	Author of An Annotation System for Specifying Aliasing Invariants on Object Fields within the Student Research Competition-track