Stephen Dolan -

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