Stephen Dolan

25 papers A* 5A 1C 1Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Data Race Freedom à la Mode.
Proc. ACM Program. Lang.
Aïna Linn Georges, Benjamin Peters, Laila Elbeheiry, Leo White, Stephen Dolan, Richard A. Eisenberg, Chris Casinghino, François Pottier, Derek Dreyer
2025 C conf
Lifetime Dispersion and Generational GC: An Intellectual Abstract.
ISMM
Stephen Dolan
2025 J jnl
Modal Effect Types.
Proc. ACM Program. Lang.
Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen
2024 J jnl
Modal Effect Types.
CoRR
Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen
2024 J jnl
Oxidizing OCaml with Modal Memory Management.
Proc. ACM Program. Lang.
Anton Lorenzen, Leo White, Stephen Dolan, Richard A. Eisenberg, Sam Lindley
2024 J jnl
Unboxed Data Constructors: Or, How cpp Decides a Halting Problem.
Proc. ACM Program. Lang.
Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop
2023 J jnl
A fixed point theorem for COFEs.
CoRR
Stephen Dolan
2023 J jnl
Unboxed data constructors - or, how cpp decides a halting problem.
CoRR
Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop
2022 — conf
Computing with generic trees in Agda.
TyDe@ICFP
Stephen Dolan
2022 J jnl
Structure-Based Discovery of Lipoteichoic Acid Synthase Inhibitors.
J. Chem. Inf. Model.
Xavier Chee Wezen, Aneesh Chandran, Rohan Sakariah Eapen, Elaine Waters, Laura Bricio-Moreno, Tommaso Tosi, Stephen Dolan, Charlotte Millership, Aras Kadioglu, Angelika Gründling, Laura S. Itzhaki, Martin Welch, Taufiq Rahman
2021 J jnl
Retrofitting Effect Handlers onto OCaml.
CoRR
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
2021 A* conf
Retrofitting effect handlers onto OCaml.
PLDI
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
2020 A* conf
Brief Announcement: The Only Undoable CRDTs are Counters.
PODC
Stephen Dolan
2020 J jnl
Repairing and Mechanising the JavaScript Relaxed Memory Model.
CoRR
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-Yu Guo
2020 A* conf
Repairing and mechanising the JavaScript relaxed memory model.
PLDI
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-Yu Guo
2020 J jnl
Retrofitting Parallelism onto OCaml.
CoRR
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
2020 J jnl
Retrofitting parallelism onto OCaml.
Proc. ACM Program. Lang.
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
2020 J jnl
The Only Undoable CRDTs are Counters.
CoRR
Stephen Dolan
2018 A* conf
Bounding data races in space and time.
PLDI
Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy
2017 — conf
Concurrent System Programming with Effect Handlers.
TFP
Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White
2017 — conf
First-Class Subtypes.
ML/OCaml
Jeremy Yallop, Stephen Dolan
2017 A* conf
Polymorphism, subtyping, and type inference in MLsub.
POPL
Stephen Dolan, Alan Mycroft
2017 J jnl
Transcriptomics technologies.
PLoS Comput. Biol.
Rohan Lowe, Neil J. Shirley, Mark Bleackley, Stephen Dolan, Thomas Shafee
2013 J jnl
Compiler support for lightweight context switching.
ACM Trans. Archit. Code Optim.
Stephen Dolan, Servesh Muralidharan, David Gregg
2013 A conf
Fun with semirings: a functional pearl on the abuse of linear algebra.
ICFP
Stephen Dolan