Research

(See DBLP)

Starling: Lightweight Concurrency Verification with Views. Matt Windsor, Mike Dodds, Ben Simner, and Matthew J Parkinson. Computer Aided Verification 2017.

Rufous: Automated comparison of implementations of purely functional data structures. Ben Simner. (MEng) University of York, 2018.

ARMv8-A system semantics: instruction fetch in relaxed architectures. Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, and Peter Sewell. ESOP 2020.

Talks

Microsoft Excel: A PL Perspective. Presented at the University of York, 2017.

Rufous: automated data structure selection. Presented at the University of York, 2018.

Modelling Systems Architecture. Presented at the Arm Research Summit, Austin Texas, September 2019.

Relaxed Systems Architecture: Instruction Fetching. Presented as an LFCS Seminar, Edinburgh, February 2020.

Misc

ARMv8-A System Semantics: iFlat Operational Model. 2019.

ARMv8-A System Semantics: iFlat Axiomatic Model. 2019.