Sébastien Michelland

According to our database, Sébastien Michelland authored at least 2 papers in 2024.

Collaborative distances:

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

2024

Abstract Interpreters: A Monadic Approach to Modular Verification.

Sébastien Michelland, Yannick Zakowski, Laure Gonnord

Proc. ACM Program. Lang., 2024

From Low-Level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme.

Sébastien Michelland, Christophe Deleuze, Laure Gonnord

Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, 2024