| ConFuzz - Coverage-Guided Property Fuzzing for Event-Driven Programs. | 0 | 0.34 | 2021 |
| Banyan - Coordination-Free Distributed Transactions over Mergeable Types. | 0 | 0.34 | 2020 |
| Retrofitting Parallelism onto OCaml | 0 | 0.34 | 2020 |
| Mergeable replicated data types | 0 | 0.34 | 2019 |
| Version Control Is for Your Data Too. | 0 | 0.34 | 2019 |
| An Architecture For Interspatial Communication | 0 | 0.34 | 2018 |
| Bounding data races in space and time. | 4 | 0.39 | 2018 |
| Safe replication through bounded concurrency verification. | 0 | 0.34 | 2018 |
| Continuation Passing Style for Effect Handlers. | 0 | 0.34 | 2017 |
| Concurrent System Programming with Effect Handlers. | 2 | 0.37 | 2017 |
| Eff Directly in OCaml. | 0 | 0.34 | 2016 |
| Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores. | 1 | 0.35 | 2016 |
| Composable scheduler activations for Haskell | 2 | 0.36 | 2016 |
| Declarative programming over eventually consistent data stores | 28 | 0.87 | 2015 |
| MultiMLton: A multicore-aware runtime for standard ML. | 1 | 0.34 | 2014 |
| RCML: A Prescription for Safely Relaxing Synchrony. | 0 | 0.34 | 2014 |
| Efficient sessions | 1 | 0.35 | 2013 |
| Eliminating read barriers through procrastination and cleanliness | 3 | 0.42 | 2012 |
| A Coherent and Managed Runtime for ML on the SCC. | 1 | 0.37 | 2012 |
| Composable asynchronous events | 5 | 0.42 | 2011 |
| Efficient session type guided distributed interaction | 9 | 0.60 | 2010 |
| Lightweight asynchrony using parasitic threads | 4 | 0.40 | 2010 |
| Partial memoization of concurrency and communication | 7 | 0.48 | 2009 |
