Stephen Dolan

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 19

Top Topics

Application Domains

Inference Problems

Data Parallelism

Top Venues

Proc. ACM Program. Lang.

Publications

Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen
Modal Effect Types. CoRR (2024)
Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop
Unboxed Data Constructors: Or, How cpp Decides a Halting Problem. Proc. ACM Program. Lang. 8 (POPL) (2024)
Stephen Dolan
A fixed point theorem for COFEs. CoRR (2023)
Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop
Unboxed data constructors - or, how cpp decides a halting problem. CoRR (2023)
Stephen Dolan
Computing with generic trees in Agda. TyDe@ICFP (2022)
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
Structure-Based Discovery of Lipoteichoic Acid Synthase Inhibitors. J. Chem. Inf. Model. 62 (10) (2022)
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
Retrofitting Effect Handlers onto OCaml. CoRR (2021)
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
Retrofitting effect handlers onto OCaml. PLDI (2021)
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
Retrofitting parallelism onto OCaml. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo
Repairing and Mechanising the JavaScript Relaxed Memory Model. CoRR (2020)
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
Retrofitting Parallelism onto OCaml. CoRR (2020)
Stephen Dolan
The Only Undoable CRDTs are Counters. CoRR (2020)
Stephen Dolan
Brief Announcement: The Only Undoable CRDTs are Counters. PODC (2020)
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo
Repairing and mechanising the JavaScript relaxed memory model. PLDI (2020)
Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy
Bounding data races in space and time. PLDI (2018)
Rohan Lowe, Neil J. Shirley, Mark Bleackley, Stephen Dolan, Thomas Shafee
Transcriptomics technologies. PLoS Comput. Biol. 13 (5) (2017)
Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White
Concurrent System Programming with Effect Handlers. TFP (2017)
Jeremy Yallop, Stephen Dolan
First-Class Subtypes. ML/OCaml (2017)
Stephen Dolan, Alan Mycroft
Polymorphism, subtyping, and type inference in MLsub. POPL (2017)
Stephen Dolan, Servesh Muralidharan, David Gregg
Compiler support for lightweight context switching. ACM Trans. Archit. Code Optim. 9 (4) (2013)
Stephen Dolan
Fun with semirings: a functional pearl on the abuse of linear algebra. ICFP (2013)