Jean Pichon-Pharabod
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
7
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CPP | CertiCoq-Wasm: A Verified WebAssembly Backend for CertiCoq. | Wolfgang Meier, Martin Jensen, Jean Pichon-Pharabod, Bas Spitters |
| 2025 | ISCA | Precise exceptions in relaxed architectures. | Ben Simner, Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Ohad Kammar, Jean Pichon-Pharabod, Peter Sewell |
| 2022 | ESOP | Relaxed virtual memory in Armv8-A. | Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell |
| 2022 | PLDI | Islaris: verification of machine code against authoritative ISA semantics. | Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, Peter Sewell |
| 2021 | FM | Two Mechanisations of WebAssembly 1.0. | Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner |
| 2020 | ESOP | ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures. | Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, Peter Sewell |
| 2020 | PLDI | Repairing and mechanising the JavaScript relaxed memory model. | Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo |
| 2019 | CAV | Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C. | Stella Lau, Victor B. F. Gomes, Kayvan Memarian, Jean Pichon-Pharabod, Peter Sewell |
| 2019 | PLDI | Promising-ARM/RISC-V: a simpler and faster operational concurrency model. | Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, Chung-Kil Hur |
| 2018 | ESOP | A Separation Logic for a Promising Semantics. | Kasper Svendsen, Jean Pichon-Pharabod, Marko Doko, Ori Lahav, Viktor Vafeiadis |
| 2016 | POPL | A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions. | Jean Pichon-Pharabod, Peter Sewell |
| 2015 | ESOP | The Problem of Programming Language Concurrency Semantics. | Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell |
| 2015 | ESOP | A Separation Logic for Fictional Sequential Consistency. | Filip Sieczkowski, Kasper Svendsen, Lars Birkedal, Jean Pichon-Pharabod |