conf.researchr.org / Aymeric Fromherz
Aymeric Fromherz

Registered user since Mon 28 Jan 2019

Name: Aymeric Fromherz

Affiliation: Carnegie Mellon University

Contributions

POPL 2021Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
ISSTA 2020Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ADSL 2020Author of Steel: scaling up memory reasoning for F* within the ADSL 2020-track
ICFP 2020Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs within the ICFP Program-track
PLDI 2020Presenter of Verified Programming with Project Everest within the Sponsors-track
POPL 2019Author of A Verified, Efficient Embedding of a Verifiable Assembly Language within the Research Papers-track