Fridays, 14:00–14:50.
Malone Hall 338.
| Date | Paper | Presenter |
|---|---|---|
| 2017-06-09 | Environment Analysis of Higher-Order Languages | Leandro Facchinetti |
| 2017-05-19 | Bringing the Web up to Speed with WebAssembly [PDF] | Dr. Scott Smith |
| 2017-05-12 | From Shape Analysis to Termination Analysis in Linear Time [PDF] | Kenneth Roe |
| 2017-05-05 | Compiling without Continuations [PDF] | P.C. Shyamshankar and Dr. Scott Smith |
| 2017-04-28 | Relative Store Fragments for Singleton Abstraction | Dr. Scott Smith, Zachary Palmer and Leandro Facchinetti |
| 2017-04-21 | Beginner’s Luck: A Language for Property-Based Generators [PDF] | Dr. Scott Smith |
| 2017-04-14 | Package Management Systems | Shiwei Weng |
| 2017-04-07 | Idris | Marc Rosen |
| 2017-03-31 | System M | P.C. Shyamshankar |
| 2017-03-17 | Automatic Reference Counting in Swift | Guoye Zhang |
| 2017-03-10 | Tutorial on Coq | Kenneth Roe |
| 2017-03-03 | Incremental Dynamic Code Generation with Trace Trees [PDF] | Pottayil Harisanker Menon |
| 2017-02-24 | Nanopass | Leandro Facchinetti |
| 2017-02-17 | Safe, Fast and Easy: Towards Scalable Scripting Languages | Pottayil Harisanker Menon |
| 2017-02-10 | Tutorial on SMT solvers: Z3 and Rosette | Leandro Facchinetti |
| 2017-02-03 | Define schedule for semester | Dr. Scott Smith |