• Sign in
  • Sign up
conf.researchr.org / Aurélien Coet
  • 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
xFri 9 Jun 17:35
using conf.researchr.org (v1.60.0)
Support page
Sign Up