• Sign in
  • Sign up
conf.researchr.org / Rodolphe Lepigre
  • ICFP 2019 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • POPL 2020 profile
  • POPL 2022 profile
  • SPLASH 2022 profile
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

Share
xSun 5 Feb 01:45
using conf.researchr.org (v1.58.0)
Support page
Sign Up