Meeting time

Fridays, 10:00–11:00.


Malone Hall 222.

Discussion Schedule

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