Computer Laboratory

Ben Simner

Ph.D. student under supervision of Peter Sewell, working on multicore semantics.


(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.