Fridays, 10:00–11:00.
Hodson 315.
| Date | Paper | Presenter |
|---|---|---|
| 2019-12-06 | Decidable Subtyping for Path Dependent Types, POPL’20 (PDF) | Dr. Scott Smith |
| 2019-11-13 | Understanding TypeScript, ECOOP’14 (PDF) | Dr. Scott Smith |
| 2019-11-08 | Higher-Order Demand-Driven Symbolic Evaluation, (PDF) | Dr. Scott Smith |
| 2019-11-01 | Higher-order Demand-driven Program Analysis, ACM TOPLAS 2019 (PDF) | Leandro Facchinetti |
| 2019-10-25 | Formal Design, Implementation and Verification of Blockchain Languages | Dr. Grigore Rosu |
| 2019-10-10 | A library of high level control operators (PDF) | Leandro Facchinetti |
| 2019-10-04 | Programming Language Techniques for Differential Privacy, ACM SIGLOG News, 2016 (PDF) | Alex Rozenshteyn |
| 2019-09-27 | Compiling with Continuations, or without? Whatever, ICFP’19 (PDF | Dr. Scott Smith |
| 2019-09-20 | Writing Network Drivers in Rust (PDF, Code) | Shiwei Weng |
| 2019-09-13 | Guix/Nix OS (PDF) | Dr. Scott Smith |
| 2019-09-06 | Semantic Program Alignment for Equivalence Checking, PLDI’19 (PDF) | Dr. Scott Smith |
| 2019-08-30 | Define schedule for semester | Dr. Scott Smith |