Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aymeric Fromherz
conf.researchr.org general profile
ICFP 2020 profile
ICFP 2021 profile
ICFP 2022 profile
ISSTA 2020 profile
PLDI 2020 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
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
Share
x
Wed 17 Aug 23:52