Remy Seassau

According to our database, Remy Seassau authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

Formal Semantics and Program Logics for a Fragment of OCaml.

Remy Seassau, Irene Yoon, Jean-Marie Madiot, François Pottier

Proc. ACM Program. Lang., 2025

2023

Pancake: Verified Systems Programming Made Sweeter.

Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Benjamin Nott, Tiana J. Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus O. Myreen, Michael Norrish, Gernot Heiser

Proceedings of the 12th Workshop on Programming Languages and Operating Systems, 2023