Stephen Dolan

According to our database, Stephen Dolan authored at least 20 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Modal Effect Types.

Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen

Proc. ACM Program. Lang., 2025

Data Race Freedom à la Mode.

Aïna Linn Georges, Benjamin Peters, Laila Elbeheiry, Leo White, Stephen Dolan, Richard A. Eisenberg, Chris Casinghino, François Pottier, Derek Dreyer

Proc. ACM Program. Lang., 2025

Lifetime Dispersion and Generational GC: An Intellectual Abstract.

Stephen Dolan

Proceedings of the 2025 ACM SIGPLAN International Symposium on Memory Management, 2025

2024

Unboxed Data Constructors: Or, How cpp Decides a Halting Problem.

Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop

Proc. ACM Program. Lang., January, 2024

Oxidizing OCaml with Modal Memory Management.

Anton Lorenzen, Leo White, Stephen Dolan, Richard A. Eisenberg, Sam Lindley

Proc. ACM Program. Lang., 2024

2023

A fixed point theorem for COFEs.

Stephen Dolan

CoRR, 2023

2022

Structure-Based Discovery of Lipoteichoic Acid Synthase Inhibitors.

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

J. Chem. Inf. Model., 2022

Computing with generic trees in Agda.

Stephen Dolan

Proceedings of the TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, 2022

2021

Retrofitting effect handlers onto OCaml.

K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Retrofitting parallelism onto OCaml.

K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy

Proc. ACM Program. Lang., 2020

The Only Undoable CRDTs are Counters.

Stephen Dolan

CoRR, 2020

Brief Announcement: The Only Undoable CRDTs are Counters.

Stephen Dolan

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

Repairing and mechanising the JavaScript relaxed memory model.

Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2018

Bounding data races in space and time.

Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Transcriptomics technologies.

Rohan Lowe, Neil J. Shirley, Mark Bleackley, Stephen Dolan, Thomas Shafee

PLoS Comput. Biol., 2017

First-Class Subtypes.

Jeremy Yallop, Stephen Dolan

Proceedings of the Proceedings ML Family / OCaml Users and Developers workshops, 2017

Concurrent System Programming with Effect Handlers.

Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White

Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017

Polymorphism, subtyping, and type inference in MLsub.

Stephen Dolan, Alan Mycroft

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2013

Compiler support for lightweight context switching.

Stephen Dolan, Servesh Muralidharan, David Gregg

ACM Trans. Archit. Code Optim., 2013

Fun with semirings: a functional pearl on the abuse of linear algebra.

Stephen Dolan

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013