Virgil Marionneau

According to our database, Virgil Marionneau authored at least 3 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic.

Virgil Marionneau, Félix Sassus Bourda, Alejandro Aguirre, Lars Birkedal

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2025

Context-Dependent Effects and Concurrency in Guarded Interaction Trees.

Sergei Stepanenko, Emma Nardino, Virgil Marionneau, Dan Frumin, Amin Timany, Lars Birkedal

CoRR, December, 2025

Artifact for Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic.

Virgil Marionneau, Félix Sassus Bourda, Alejandro Aguirre, Lars Birkedal

Dataset, December, 2025