Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thibault Dardinier
conf.researchr.org general profile
PLDI 2023 profile
POPL 2024 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Mon 12 Sep 2022
Name:
Thibault Dardinier
Country:
Switzerland
Affiliation:
ETH Zurich
Personal website:
https://dardinier.me
Contributions
2024
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 25 Apr 19:29