I agree that this site is using cookies. You can find further informations here.
X
Pichon-Pharabod, Jean
33  results:
Search for persons X
?
1

An Axiomatic Basis for Computer Programming on the Relaxed ..:

Hammond, Angus ; Liu, Zongyuan ; Pérami, Thibaut...
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 604-637 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Islaris: verification of machine code against authoritative..:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Sammler, Michael ; Hammond, Angus ; Lepigre, Rodolphe... - p. 825-840 , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

Relaxed virtual memory in Armv8-A:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Simner, Ben ; Armstrong, Alasdair ; Pichon-Pharabod, Jean... - p. 143-173 , 2022
Link: https://doi.org/10.1007/..
 
?
4

Two Mechanisations of WebAssembly 1.0:

, In: Formal Methods; Lecture Notes in Computer Science,
Watt, Conrad ; Rao, Xiaojia ; Pichon-Pharabod, Jean.. - p. 61-79 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Repairing and mechanising the JavaScript relaxed memory mod..:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,
Watt, Conrad ; Pulte, Christopher ; Podkopaev, Anton... - p. 346-361 , 2020
Link: https://dl.acm.org/doi/1..
 
?
6

ARMv8-A System Semantics: Instruction Fetch in Relaxed Arch..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Simner, Ben ; Flur, Shaked ; Pulte, Christopher... - p. 626-655 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Weakening WebAssembly:

Watt, Conrad ; Rossberg, Andreas ; Pichon-Pharabod, Jean
Proceedings of the ACM on Programming Languages.  3 (2019)  OOPSLA - p. 1-28 , 2019
Link: https://doi.org/10.1145/..
 
?
8

Promising-ARM/RISC-V: a simpler and faster operational conc..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Pulte, Christopher ; Pichon-Pharabod, Jean ; Kang, Jeehoon.. - p. 1-15 , 2019
Link: https://dl.acm.org/doi/1..
 
?
9

Cerberus-BMC: A Principled Reference Semantics and Explorat..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Lau, Stella ; Gomes, Victor B. F. ; Memarian, Kayvan.. - p. 387-397 , 2019
Link: https://doi.org/10.1007/..
 
?
10

Weakening WebAssembly:

Watt, Conrad ; Rossberg, Andreas ; Pichon-Pharabod, Jean
Proceedings of the ACM on Programming Languages.  3 (2019)  OOPSLA - p. 1-28 , 2019
Link: https://dl.acm.org/doi/1..
 
?
11

A Separation Logic for a Promising Semantics:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Svendsen, Kasper ; Pichon-Pharabod, Jean ; Doko, Marko.. - p. 357-384 , 2018
Link: https://doi.org/10.1007/..
 
?
12

A concurrency semantics for relaxed atomics that permits op..:

Pichon-Pharabod, Jean ; Sewell, Peter
ACM SIGPLAN Notices.  51 (2016)  1 - p. 622-633 , 2016
Link: https://doi.org/10.1145/..
 
?
13

A concurrency semantics for relaxed atomics that permits op..:

, In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Pichon-Pharabod, Jean ; Sewell, Peter - p. 622-633 , 2016
Link: https://dl.acm.org/doi/1..
 
?
14

VMSL:A Separation Logic for Mechanised Robust Safety of Vir..:

Liu, Zongyuan ; Stepanenko, Sergei ; Pichon-Pharabod, Jean...
Liu , Z , Stepanenko , S , Pichon-Pharabod , J , Timany , A , Askarov , A & Birkedal , L 2023 , ' VMSL : A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A ' , Proceedings of the ACM on Programming Languages , vol. 7 , pp. 1438-1462 . https://doi.org/10.1145/3591279.  , 2023
Link: https://pure.au.dk/porta..
 
?
15

Artifact of "An axiomatic basis for computer programming on..:

Hammond, Angus ; Liu, Zongyuan ; Pérami, Thibaut...
doi:10.5281/zenodo.8417667.  , 2023
Link: https://zenodo.org/recor..
 
1-15