Stephen Dolan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2013–2022
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICFP | Computing with generic trees in Agda. | Stephen Dolan |
| 2021 | PLDI | Retrofitting effect handlers onto OCaml. | K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy |
| 2020 | PLDI | 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 |
| 2020 | PODC | Brief Announcement: The Only Undoable CRDTs are Counters. | Stephen Dolan |
| 2018 | PLDI | Bounding data races in space and time. | Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy |
| 2017 | POPL | Polymorphism, subtyping, and type inference in MLsub. | Stephen Dolan, Alan Mycroft |
| 2013 | ICFP | Fun with semirings: a functional pearl on the abuse of linear algebra. | Stephen Dolan |