• Sign in
  • Sign up
conf.researchr.org / Aymeric Fromherz
  • 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
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

Share
xWed 17 Aug 23:52
using conf.researchr.org (v1.56.0)
Support page
Sign Up