Stephen Dolan -

Registered user since Wed 11 Apr 2018

Name: Stephen Dolan

Affiliation: University of Cambridge, UK

Contributions

REMS-DeepSpec 2020	Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track
ICFP 2020	Author of Retrofitting Parallelism onto OCaml within the Research Papers-track
PLDI 2020	Author of Repairing and Mechanising the JavaScript Relaxed Memory Model within the PLDI Research Papers-track
VMIL 2018	Committee Member in Program Committee within the VMIL 2018-track
ML 2018	Author of Safely Mixing OCaml and Rust within the ML 2018-track
OCaml 2018	Session Chair of Session 2 (part of OCaml 2018) Committee Member in Program Committee within the OCaml 2018-track
ML 2017	Author of Effectively tackling the awkward squad within the ML 2017-track Author of First-class subtypes within the ML 2017-track Committee Member in Program Committee within the ML 2017-track
OCaml 2017	Author of Testing with Crowbar within the OCaml 2017-track Author of A memory model for multicore OCaml within the OCaml 2017-track
PLDI 2018	Author of Bounding Data Races in Space and Time within the PLDI Research Papers-track
ML 2016	Author of Malfunctional Programming within the ML-track
POPL 2017	Author of Polymorphism, subtyping and type inference in MLsub within the POPL-track