conf.researchr.org / Aymeric Fromherz
Registered user since Mon 28 Jan 2019
Name:Aymeric Fromherz
Country:France
Affiliation:Inria
Personal website: https://aymericfromherz.github.io/
Contributions
2024
SPLASH
ICFP
2023
ICFP
- Author of Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification within the ICFP Papers and Events-track
- Session Chair of Programming contest report within the ICFP Papers and Events-track
- Programming Contest Co-Organiser in Organizing Committee
- Author of Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification within the Artifact Evaluation-track