conf.researchr.org / Aymeric Fromherz
![Aymeric Fromherz](https://conf.researchr.org/getProfileImage/aymericfromherz/642386ee-fc63-4768-89a8-35a9b972e5fd/small.jpg?1711454594000)
Registered user since Mon 28 Jan 2019
Name:Aymeric Fromherz
Country:France
Affiliation:Inria
Personal website: https://aymericfromherz.github.io/
Contributions
2024
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