Thibaut Pérami

According to our database, Thibaut Pérami authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production Hypervisor.

Kayvan Memarian, Ben Simner, David Kaloper-Mersinjak, Thibaut Pérami, Peter Sewell

Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, 2025

2024

An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic.

Angus Hammond, Zongyuan Liu, Thibaut Pérami, Peter Sewell, Lars Birkedal, Jean Pichon-Pharabod

Proc. ACM Program. Lang., January, 2024