We stand with Ukraine  

Thibaut Pérami

Orcid: 0009-0005-0005-7618

According to our database1, Thibaut Pérami authored at least 4 papers between 2024 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics.
[BibTeX]
[DOI]
Zongyuan Liu
,
Angus Hammond
,
Thibaut Pérami
,
Peter Sewell
,
Lars Birkedal
,
Jean Pichon-Pharabod
ACM Trans. Program. Lang. Syst., March, 2026

ArchSem: Reusable Rigorous Semantics of Relaxed Architectures.
[BibTeX]
[DOI]
Thibaut Pérami
,
Thomas Bauereiss
,
Brian Campbell
,
Zongyuan Liu
,
Nils Lauermann
,
Alasdair Armstrong
,
Peter Sewell
Proc. ACM Program. Lang., 2026

2025
Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production Hypervisor.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Angus Hammond
,
Zongyuan Liu
,
Thibaut Pérami
,
Peter Sewell
,
Lars Birkedal
,
Jean Pichon-Pharabod
Proc. ACM Program. Lang., January, 2024


  Loading...