Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stephen Dolan
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2020 profile
ICFP 2022 profile
ICFP 2023 profile
ICFP 2024 profile
PLDI 2018 profile
PLDI 2020 profile
PLDI 2021 profile
POPL 2017 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2018 profile
Registered user since Wed 11 Apr 2018
Name:
Stephen Dolan
Country:
United Kingdom
Affiliation:
Jane Street
Contributions
2025
POPL
Author of Data Race Freedom à la Mode within the POPL-track
2024
ICFP
Author of Oxidizing OCaml with Modal Memory Management within the ICFP Papers and Events-track
ML
Author of Designing interrupts for ML and OCaml within the ML-track
Author of Rethinking the Value Restriction within the ML-track
OCaml
Session Chair of OCaml compiler features and optimizations (part of OCaml Users and Developers Workshop 2024)
POPL
Author of Unboxed data constructors -- or, how cpp decides a halting problem within the POPL-track
Committee Member in Program Committee within the POPL-track
The Future of Weak Memory
Author of Why Languages Should Preserve Load-Store Order within the The Future of Weak Memory 2024-track
2023
ICFP
Committee Member in Program Committee within the ICFP Papers and Events-track
Session Chair of Testing (part of ICFP Papers and Events)
2022
OCaml
Author of Stack allocation for OCaml within the OCaml 2022-track
ML
Author of Unboxed types for OCaml within the ML-track
Session Chair of Verification (part of ML)
2021
PLDI
Author of Retrofitting Effect Handlers onto OCaml within the PLDI-track
2020
ICFP
Author of Retrofitting Parallelism onto OCaml within the ICFP Program-track
PLDI
Author of Repairing and Mechanising the JavaScript Relaxed Memory Model within the PLDI Research Papers-track
DeepSpec
Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track
2018
VMIL
Committee Member in Program Committee within the VMIL 2018-track
ML
Author of Safely Mixing OCaml and Rust within the ML 2018-track
OCaml
Session Chair of Session 2 (part of OCaml 2018)
Committee Member in Program Committee within the OCaml 2018-track
PLDI
Author of Bounding Data Races in Space and Time within the PLDI Research Papers-track
2017
OCaml
Author of Testing with Crowbar within the OCaml 2017-track
Author of A memory model for multicore OCaml within the OCaml 2017-track
ML
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
Author of Polymorphism, subtyping and type inference in MLsub within the POPL-track
2016
ML
Author of Malfunctional Programming within the ML-track
Share
x
Tue 3 Dec 17:56