Person. Félix Sassus Bourda Student · École Normale Supérieure Paris-Saclay · 0009-0007-7559-1326 Papers Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic marionneau-2026-modularCPP · 2026 DOI · pldb