Meeting time

Fridays, 10:00–11:00.


Hodson 315.

Discussion Schedule

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