Author Info
Name
Affiliation
Papers
JEAN PICHON-PHARABOD
Univ Cambridge, Cambridge CB2 1TN, England
7
Collaborators
Citations 
PageRank 
19
53
3.38
Referers 
Referees 
References 
93
89
68
Title
Citations
PageRank
Year
Two Mechanisations of WebAssembly 1.000.342021
Weakening WebAssembly00.342019
Cerberus-Bmc: A Principled Reference Semantics And Exploration Tool For Concurrent And Sequential C00.342019
A Separation Logic for a Promising Semantics.00.342018
A Separation Logic for a Promising Semantics.30.392018
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions.190.662016
The Problem of Programming Language Concurrency Semantics.310.982015