Rodolphe Lepigre -

Registered user since Sun 3 Mar 2019

Name:Rodolphe Lepigre

Country:Germany

Affiliation:MPI-SWS

Personal website:https://lepigre.fr

Research interests:programming languages, type theory, semantics, functional programming, Curry-Howard isomorphism, realizability

Contributions

SPLASH 2022	Author of BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs within the OOPSLA-track
PLDI 2022	Author of Islaris: Verification of Machine Code Against Authoritative ISA Semantics within the PLDI-track Author of (PLDI 2021) RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types within the SIGPLAN Track-track
POPL 2022	Author of VIP: Verifying Real-World C Idioms with Integer-Pointer Casts within the POPL-track Committee Member in Selection Committee within the Student Research Competition-track Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLDI 2021	Author of RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types within the PLDI-track
POPL 2020	Author of The Future is Ours: Prophecy Variables in Separation Logic within the Research Papers-track
ICFP 2019	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track