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
PLDI 2018 profile
PLDI 2020 profile
PLDI 2021 profile
POPL 2017 profile
SPLASH 2018 profile
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
Share
x
Fri 27 Jan 01:31