Thibault Dardinier -

Registered user since Mon 12 Sep 2022

Name:Thibault Dardinier

Country:United States

Affiliation:New York University

Personal website: https://dardinier.me

Contributions

2026

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track
Author of Sound State Encodings in Translational Separation Logic Verifiers within the OOPSLA-track

PLDI

Author of Hyper Separation Logic within the PLDI Research Papers-track

CPP

TPSA

Committee Member in Program Committee within the TPSA 2026-track

2025

PLDI

Author of PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs within the PLDI Research Papers-track

POPL

2024

SPLASH

Author of Hypra: A Deductive Program Verifier for Hyper Hoare Logic within the OOPSLA 2024-track

PLDI

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