If you show up to reading group, be ready to participate in the discussion!
To structure our discussions, here are four questions I suggest we ask ourselves for each paper we read. Note that, while all of them require reading some of the paper, none of them require reading all of the paper. (Lindsey got the idea to use this list of questions from Chung-chieh Shan.)
- What's the paper about?
- What's one thing I learned?
- What's one question I'm curious about?
- What's one step I can take towards answering the question?
Some papers to consider might be available on the CASL group resources list, but others are welcome too!
This list is tentative and subject to change.
Everyone should claim two weeks and list the papers they want to discuss those weeks. Try to pick papers that are relevant to the research problems you personally are interested in, but also that you hope will be relevant and approachable to the group at large!
| Week | Lead | Paper |
|---|---|---|
| Week 1 | Patrick Redmond | Listlessness is Better than Laziness, Lazy evaluation and garbage collection at compile-time - Philip Wadler |
| Week 2 | Jonathan Castello | LVars: lattice-based data structures for deterministic parallelism |
| Week 3 | Tim Goodwin | Naiad: A Timely Dataflow System |
| Week 4 | Gan Shen | Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes |
| Week 5 | Patrick Redmond | A New Implementation Technique for Applicative Languages - D. A. Turner, Full PDF, Searchable PDF (page 1 corrupted), DOI |
| Week 6 | Jonathan Castello | The semantic foundations of concurrent constraint programming |
| Week 7 | Tim Goodwin | Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 |
| Week 8 | Gan Shen | Pirouette: higher-order typed functional choreographies |
| Week 9 | Thanksgiving (no meeting) | |
| Week 10 | Nathan | TBD |
| Finals week | Nathan | TBD |
This list is tentative and subject to change.
-
June 26
Verifying Strong Eventual Consistency in Distributed Systems by Gomes et al. (OOPSLA '17)
-
July 3
Continue discussion of Gomes et al. from last time (but feel free to read ahead to Nagar and Jagannathan too)
-
July 10
Automated Parameterized Verification of CRDTs by Nagar and Jagannathan (CAV '19)
-
July 17
Chapar: Certified Causally Consistent Distributed Key-Value Stores by Lesani, Bell, and Chlipala (POPL '16)
-
July 24
Don't Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS by Lloyd et al. (SOSP '11)
-
July 31
Stronger Semantics for Low-Latency Geo-Replicated Storage by Lloyd et al. (NSDI '13)
-
August 7
Safe Replication through Bounded Concurrency Verification by Kaki et al. (OOPSLA '18)
-
August 14
Continue discussion of Kaki et al. from last time
-
August 21
Meeting cancelled due to wildfires
-
August 28
Composing and decomposing op-based CRDTs with semidirect products by Weidner, Miller, and Meiklejohn (ICFP '20)