Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aurélien Coet
conf.researchr.org general profile
ECOOP 2022 profile
ECOOP 2025 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
2025
ICOOOLPS
Author of Revisiting Borrow Checking with Abstract Interpretation within the ICOOOLPS'25-track
2023
ICOOOLPS
Committee Member in Program Committee within the ICOOOLPS 2023-track
VIMPL
Committee Member in Program Committee within the VIMPL 2023-track
2022
ICOOOLPS
Author of Belief Programming with Map Family Decision Diagrams within the ICOOOLPS 2022-track
2021
ICOOOLPS
Presenter of Fuel: A Compiler Framework for Safe Memory Management within the ICOOOLPS-track
2020
‹Programming›
Author of An Annotation System for Specifying Aliasing Invariants on Object Fields within the Student Research Competition-track
Share
x
Sat 12 Jul 19:04