Meeting time

Thursdays, 13:00–14:00.

Classroom

Malone Hall 222.

Discussion Schedule

Date Paper Presenter
2015-11-19 Measuring polymorphism in python programs [PDF] Alex Rozenshteyn
2015-11-12 Resolving and Exploiting the k-CFA Paradox [PDF] Dr. Scott Smith
2015-10-29 Relating Complexity and Precision in Control Flow Analysis [PDF] Dr. Scott Smith
2015-10-22 Lambdascope: Another optimal implementation of the lambda-calculus [PDF] Dr. Scott Smith
2015-10-08 EXPLORER: Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties [PDF] Dr. Scott Smith
2015-10-01 Practical SMT-Based Type Error Localization [PDF] Dr. Scott Smith
2015-09-24 Practical Principled FRP: forget the past, change the future, FRPNow! [PDF] (part 3) Nathaniel Wesley Filardo
2015-09-17 Practical Principled FRP: forget the past, change the future, FRPNow! [PDF] (part 2) Kenneth Roe
2015-09-10 Practical Principled FRP: forget the past, change the future, FRPNow! [PDF] (part 1) Kenneth Roe
2015-09-03 Practical type inference for arbitrary-rank types [PDF] Alex Rozenshteyn