Félix Sassus Bourda

Orcid: 0009-0007-7559-1326

According to our database¹, Félix Sassus Bourda authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

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

[DOI]

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

2025

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

[DOI]

Dataset, December, 2025