Old Web
English
Sign In
Acemap
>
authorDetail
>
Jon French
Jon French
University of Cambridge
Concurrency
Computer science
Thread (computing)
Implementation
Architecture
3
Papers
140
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS
2019
POPL | Symposium on Principles of Programming Languages
Alasdair Armstrong
Thomas Bauereiss
Brian Campbell
Alastair Reid
Kathryn E. Gray
Robert Norton
Prashanth Mundkur
Mark Wassell
Jon French
Christopher Pulte
Shaked Flur
Ian Stark
Neelakantan R. Krishnaswami
Peter Sewell
Show All
Source
Cite
Save
Citations (34)
Simplifying ARM Concurrency: Multicopy-Atomic Axiomatic and Operational Models for ARMv8
2018
POPL | Symposium on Principles of Programming Languages
Christopher Pulte
Shaked Flur
Will Deacon
Jon French
Susmit Sarkar
Peter Sewell
Show All
Source
Cite
Save
Citations (48)
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8
2017
Christopher Pulte
Shaked Flur
Will Deacon
Jon French
Susmit Sarkar
Peter Sewell
Show All
Source
Cite
Save
Citations (58)
1