• Sign in
  • Sign up
conf.researchr.org / Stephen Dolan
  • ICFP 2016 profile
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2020 profile
  • PLDI 2018 profile
  • PLDI 2020 profile
  • POPL 2017 profile
  • SPLASH 2018 profile

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 ICFP Program-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

Share
xThu 28 Jan 15:03
using conf.researchr.org (v1.40.2)
Support page
Sign Up