Thursdays, 13:00–14:00.
Malone Hall 222.
| 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 |