Denis Merigoux

Registered user since Thu 6 Dec 2018

Name:Denis Merigoux
Bio:

PhD candidate at the Prosecco team at Inria, under the supervision of Karthikeyan Bhargavan and Jonathan Protzenko.

Country:France
Affiliation:INRIA
Personal website:https://merigoux.ovh
Research interests:Programming Languages, Verification

Contributions

SPLASH 2023 Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ProLaLa 2023 Author of Experience report: implementing a real-world, medium-sized program derived from a legislative specification within the ProLaLa 2023-track
Author of Opening comments within the ProLaLa 2023-track
Co-chair in Program Committee within the ProLaLa 2023-track
ProLaLa 2022 Author of Turning Catala into a Proof Platform for the Law within the ProLaLa Programming Languages and the Law-track
Committee Member in Program Committee within the ProLaLa Programming Languages and the Law-track
ICFP 2021 Author of Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic within the Research Papers-track
Author of Catala: A Programming Language for the Law within the Research Papers-track
CC 2021 Author of A Modern Compiler for the French Tax Code within the CC Research Papers-track
ICFP 2020 Author of SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs within the ICFP Program-track
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 2019 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track