Jon French

Publication Activity (10 Years)

Years Active: 2000-2019
Publications (10 Years): 2

Top Topics

Mathematical Models

Operational Semantics

Instruction Set

Concurrency Control

Top Venues

Proc. ACM Program. Lang.

Publications

Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. Norton, Prashanth Mundkur, Mark Wassell, Jon French, Christopher Pulte, Shaked Flur, Ian Stark, Neel Krishnaswami, Peter Sewell
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS. Proc. ACM Program. Lang. 3 (POPL) (2019)
Christopher Pulte, Shaked Flur, Will Deacon, Jon French, Susmit Sarkar, Peter Sewell
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8. Proc. ACM Program. Lang. 2 (POPL) (2018)
Randy Johnson, Jon French, Tim Bode
Fatigue, Nurses, and Patient Safety: Correlating Fatigue and Patient Safety in a Simulated Environment (abstract). HSC (2009)
Jon French, Jeff Miller
Estimating the effects of stress during operational conditions. WSC (2005)
Brett Walters, Jon French, Michael J. Barnes
Attrition and fatigue: modeling the effects of crew size and crew fatigue on the control of Tactical Unmanned Aerial Vehicles (TUAVS). WSC (2000)