Registered user since Wed 11 Apr 2018

Name:Stephen Dolan
Affiliation:Jane Street

Contributions

ICFP 2023 Committee Member in Program Committee within the ICFP Research Papers-track
OCaml 2022 Author of Stack allocation for OCaml within the OCaml 2022-track
ML 2022 Author of Unboxed types for OCaml within the ML-track
Session Chair of Verification (part of ML)
PLDI 2021 Author of Retrofitting Effect Handlers onto OCaml within the PLDI-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
REMS-DeepSpec 2020 Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-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
PLDI 2018 Author of Bounding Data Races in Space and Time within the PLDI Research Papers-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
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
POPL 2017 Author of Polymorphism, subtyping and type inference in MLsub within the POPL-track
ML 2016 Author of Malfunctional Programming within the ML-track