conf.researchr.org / Cyrille Artho
Registered user since Wed 28 Feb 2018
Name:Cyrille Artho
Affiliation:KTH Royal Institute of Technology, Sweden
Personal website: https://people.kth.se/~artho/
Contributions
2024
ASE
2023
NWPT
FTSCS
- Session Chair of Paper presentations (part of FTSCS 2023)
- Author of Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library within the FTSCS 2023-track
- Committee Member in Organizing Committee within the FTSCS 2023-track
- Committee Member in Program Committee within the FTSCS 2023-track
- Author of Discussions, Closing within the FTSCS 2023-track