Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aurélien Coet
conf.researchr.org general profile
ECOOP 2022 profile
ECOOP and ISSTA 2021 profile
ECOOP and ISSTA 2023 profile
‹Programming› 2020 profile
‹Programming› 2023 profile
Registered user since Mon 30 Sep 2019
Name:
Aurélien Coet
Country:
Switzerland
Affiliation:
University of Geneva, Switzerland
Contributions
ICOOOLPS 2023
Committee Member in Program Committee within the ICOOOLPS 2023-track
VIMPL 2023
Committee Member in Program Committee within the VIMPL 2023-track
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
Share
x
Fri 9 Jun 17:35