Meeting time

Fridays, 11:00–12:00.




Discussion Schedule

Date Paper Presenter
2020-10-23 Higher-Order Constrained Horn Clauses for Verification, POPL 2018 (pdf, video) Shiwei Weng
2020-10-16 Zipper tutorial (video) Scott Smith
2020-10-09 Predicate Abstraction and CEGAR for Higher-Order Model Checking, PLDI 2011 (pdf) Shiwei Weng
2020-10-02 The Virtues of Semi-Explicit Polymorphism, ML 2020 (page) Scott Smith
2020-09-25 A Bounded Model Checking Technique for Higher-Order Programs, SETTA’19 (pdf) Shiwei Weng
2020-09-18 Running Symbolic Execution Forever, ISSTA 2020 (pdf, video) Shiwei Weng
2020-09-11 Recovering Purity with Comonads and Capabilities, ICFP 2020 (pdf, video) Scott Smith
2020-09-04 A Unified View of Modalities in Type Systems, ICFP 2020 (pdf, video) Scott Smith