Jean Pichon-Pharabod

6 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Escaping the Quicksand: A Call to Arms

Peter Sewell and others (2026)

Relaxed virtual memory in Armv8-A

Ben Simner and others (2022) · Programming Languages and Systems · Springer International Publishing

ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures

Ben Simner and others (2020) · Springer International Publishing

Promising-ARM/RISC-V: a simpler and faster operational concurrency model

Christopher Pulte and others (2019) · ACM

A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions

Jean Pichon-Pharabod and others (2016) · ACM

The Problem of Programming Language Concurrency Semantics

Mark Batty and others (2015) · Programming Languages and Systems · Springer Berlin Heidelberg