Fridays, 10:00–11:00.
Malone Hall 222.
| Date | Paper | Presenter |
|---|---|---|
| 2018-12-07 | The Essence of Functional Programming [PDF] | Leandro Facchinetti |
| 2018-11-30 | Precision-Guided Context Sensitivity for Pointer Analysis [PDF] | Shiwei Weng |
| 2018-11-16 | Demand Interprocedural Dataflow Analysis | Leandro Facchinetti |
| 2018-11-09 | Concurrency-Aware Object-Oriented Programming with Roles | Zachary Palmer |
| 2018-11-02 | REPT: Reverse Debugging of Failures in Deployed Software [PDF] | Shiwei Weng |
| 2018-10-26 | The Benefits and Costs of Writing a POSIX Kernel in a High-Level Language | Shiwei Weng |
| 2018-10-12 | Capturing the Future by Replaying the Past (Functional Pearl) [PDF] | Dr. Scott Smith |
| 2018-09-28 | Build Systems à la Carte [PDF] | Shiwei Weng |
| 2018-09-21 | Relational Algebra by Way of Adjunctions [PDF] | P.C. Shyamshankar |
| 2018-09-14 | Refunctionalization of Abstract Abstract Machines (Functional Pearl) [PDF] | Leandro Facchinetti |
| 2018-09-07 | A Schematic Pushdown Reachability Language | Zachary Palmer |
| 2018-08-31 | Define schedule for semester | Dr. Scott Smith |