• 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
No Photo

Registered user since Mon 30 Sep 2019

Name:Aurélien Coet
Country:Switzerland
Affiliation:University of Geneva, Switzerland

Contributions

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
xThu 22 May 05:30
using conf.researchr.org (v1.69.0)
Support page
Sign Up