Stephen Dolan
where else to find them
no profile links on file
what they talk about
where they keep going back
all 8 in the filters
on a stage with
all 23 in the filters
who talks about the same things
- Leo White12 talks
- Gabriel Scherer12 talks
- KC Sivaramakrishnan17 talks
- Sudha Parimala9 talks
- Daniel Hillerström11 talks
- Wenhao Tang8 talks
| title | conference | date |
|---|---|---|
| Modal Effect Types | OOPSLA 2025 | 2025-10-16 |
Replaces pervasive effect variables with an ambient effect context and explicit modalities so higher‑order library signatures no longer need ubiquitous effect… | ||
| Lifetime Dispersion and Generational GC: An Intellectual Abstract | ISMM 2025 | 2025-06-17 |
Argues that lifetime dispersion (not “most objects die young”) predicts when generational GC helps, quantifies it with the Gini coefficient derived from the… | ||
| Data Race Freedom à la Mode | POPL 2025 | 2025-01-19 |
DRFcaml extends OCaml's type system with new mode axes (contention and portability) to statically guarantee data-race freedom for multi-threaded OCaml while… | ||
| Rethinking the Value Restriction | ML 2024 | 2024-09-06 |
Reformulates ML core with references and the value restriction and shows two standard assumptions fail: prenex polymorphism and let polymorphism are unsound… | ||
| Designing interrupts for ML and OCaml | ML 2024 | 2024-09-06 |
Proposes a concrete design for OCaml asynchronous exceptions that introduces a new exception kind separate from ordinary catchable exceptions, plus a… | ||
| Why Languages Should Preserve Load-Store Order | The Future of Weak Memory 2024 | 2024-01-15 |
Argues programming-language memory models should ban load-store reordering and preserve load-before-store so induction and pointer-alias reasoning remain… | ||
| Unboxed data constructors -- or, how cpp decides a halting problem | POPL 2024 | 2024-01-14 |
Adds selective unboxing to OCaml with a prototype compiler and a static check that rejects unboxings that would create overlapping representations, yielding up… | ||
| Stack allocation for OCaml | OCaml 2022 | 2022-09-16 |
Adds a modal type extension to OCaml that lets values be allocated on a separate stack when safe, implemented in the compiler and available on GitHub. The… | ||
| Unboxed types for OCaml | ML 2022 | 2022-09-15 |
Proposal adds unboxed types to OCaml to eliminate pointer boxing and heavy allocation (example: a pair of 32-bit ints on 64-bit needing many words and… | ||
| Computing with Generic Trees in Agda | TyDe 2022 | 2022-09-11 |
Shows that a small tweak to W-types makes generic tree definitions compute in Agda: replace function-indexed places with a mix of finitary tuples and labeled… | ||
| Retrofitting Parallelism onto Ocaml | ICFP 2020 | 2020-08-23 |
A mostly-concurrent, non-moving mark-and-sweep GC for multicore OCaml is implemented (major heap based on VCGC, allocator from Streamflow) and extended to… | ||
| Syntax with Shifted Names | TyDe 2019 | 2019-08-18 |
Claims a new representation called shifted names that tags free names with numeric indices so freshness side-conditions disappear. Defines four concrete… | ||
| nothing matches | ||