Concepedia

Jean Pichon-Pharabod

JP

6

Publications

199

Citations

6

H-Index

2016

Active since

Affiliations

University of Cambridge(Current)

Aarhus University

Max Planck Institute for Software Systems

Jean Pichon-Pharabod is an author at University of Cambridge specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystem SoftwareParallel ComputingComputer EngineeringComputer Architecture

Publications per year

2016–2023

6

Publications

6

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

Jean Pichon-Pharabod, Peter Sewell · 2016 · 71 citations · Full text

Concurrent Programming Languages, Engineering, Compiler Technology +20

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

Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang et al. · 2019 · 40 citations · Full text

Engineering, Concurrency Models, Verification +20

Weakening WebAssembly

Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod · Proceedings of the ACM on Programming Languages · 2019 · 29 citations · Full text

Engineering, Computer Architecture, Axiomatic Model +16

Islaris: verification of machine code against authoritative ISA semantics

Michael Sammler, Angus Hammond, Rodolphe Lepigre et al. · 2022 · 25 citations · Full text

Repairing and mechanising the JavaScript relaxed memory model

Conrad Watt, Christopher Pulte, Anton Podkopaev et al. · 2020 · 17 citations · Full text

Rows per page

1–5 of 6