Meeting time

Thursdays, 13:00–14:00.

Classroom

Malone Hall 222.

Discussion Schedule

Date Paper Presenter
2016-08-18 How to Twist Pointers without Breaking Them Nathaniel W Filardo
2016-07-29 ECOOP 2016 Dr. Scott Smith
2016-06-30 PLT Redex—Part 2 Leandro Facchinetti
2016-06-23 PLT Redex—Part 1 Leandro Facchinetti
2016-05-26 Deep Specifications and Certified Abstraction Layers [PDF] Kenneth D. Roe
2016-04-28 Verifying programs with complex data structures using Coq Kenneth D. Roe
2016-04-21 POPL 2016 Tutorial: Higher-Order Model Checking Dr. Scott Smith
2016-04-14 POPL 2016 Tutorial: Higher-Order Model Checking Dr. Scott Smith
2016-04-07 Dagstuhl Seminar 16131 papers Dr. Scott Smith
2016-03-24 Higher-Order Demand-Driven Program Analysis [PDF] Leandro Facchinetti and Dr. Scott Smith
2016-03-03 1ML – Core and Modules United (F-ing First-Class Modules) [PDF] Alex Rozenshteyn
2016-02-25 Is Sound Gradual Typing Dead? [PDF] Dr. Scott Smith
2016-02-18 Binding as Sets of Scopes [PDF] Dr. Scott Smith
2016-02-11 Hygienic resugaring of compositional desugaring [PDF] Alex Rozenshteyn
2016-02-04 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages [PDF] Dr. Scott Smith
2016-01-28 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages [PDF] Dr. Scott Smith