Stephen Dolan

Registered user since Wed 11 Apr 2018

Name: Stephen Dolan

Country: United Kingdom

Affiliation: University of Cambridge

Contributions

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