Jean Pichon-Pharabod
Orcid: 0000-0002-4442-6543Affiliations:
- Aarhus University, Denmark
- University of Cambridge, UK (PhD 2018)
According to our database1,
Jean Pichon-Pharabod
authored at least 17 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic.
Proc. ACM Program. Lang., January, 2024
2023
Proc. ACM Program. Lang., 2023
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A.
Proc. ACM Program. Lang., 2023
2022
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022
Proceedings of the Programming Languages and Systems, 2022
2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the Programming Languages and Systems, 2020
2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Proceedings of the Programming Languages and Systems, 2018
2016
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
2015
Proceedings of the Programming Languages and Systems, 2015
Proceedings of the Programming Languages and Systems, 2015