Aymeric Fromherz -

Registered user since Mon 28 Jan 2019

Name:Aymeric Fromherz

Affiliation:Carnegie Mellon University

Contributions

ICFP 2022	France in Evaluators within the Artifact Evaluation-track
ProLaLa 2022	Author of Turning Catala into a Proof Platform for the Law within the ProLaLa Programming Languages and the Law-track
POPL 2021	Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
ICFP 2021	Author of Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic within the Research Papers-track
ISSTA 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ADSL 2020	Author of Steel: scaling up memory reasoning for F* within the ADSL 2020-track
ICFP 2020	Committee 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 2020	Presenter of Verified Programming with Project Everest within the Sponsors-track
POPL 2019	Author of A Verified, Efficient Embedding of a Verifiable Assembly Language within the Research Papers-track