Félix Sassus-Bourda -

Registered user since Fri 14 Nov 2025

Name:Félix Sassus-Bourda

Affiliation:ENS Paris Saclay

Personal website: https://f-p-s-b.github.io/

Contributions

2026

CPP

Author of Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic within the CPP 2026-track