Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thibault Dardinier
conf.researchr.org general profile
PLDI 2023 profile
PLDI 2024 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2022 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Mon 12 Sep 2022
Name:
Thibault Dardinier
Country:
Switzerland
Affiliation:
ETH Zurich
Personal website:
https://dardinier.me
Contributions
2025
POPL
Author of Formal Foundations for Translational Separation Logic Verifiers within the POPL-track
2024
SPLASH
Author of Hypra: A Deductive Program Verifier for Hyper Hoare Logic within the OOPSLA 2024-track
PLDI
Author of Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language within the PLDI Research Papers-track
Author of Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties within the PLDI Research Papers-track
POPL
Author of Pulse: Proof-oriented Programming in a Concurrent Separation Logic DSL in F* within the TutorialFest-track
2023
SPLASH
Author of Verification-Preserving Inlining in Automatic Separation Logic Verifiers within the OOPSLA-track
PLDI
Author of CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity within the PLDI Research Papers-track
2022
SPLASH
Author of Fractional Resources in Unbounded Separation Logic within the OOPSLA-track
Committee Member in Judges within the Student Research Competition-track
Share
x
Thu 21 Nov 16:29
