Virgil Marionneau -

Registered user since Wed 3 Dec 2025

Name:Virgil Marionneau

Affiliation:ENS Rennes

GitHub: https://github.com/vmarionneau

Contributions

2026

CPP

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