Fridays, 10:00–11:00.
Malone Hall 222.
| Date | Paper | Presenter |
|---|---|---|
| 2019-04-26 | Context-, Flow-, and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems, POPL 2019 (PDF) | Shiwei Weng |
| 2019-04-19 | Lean (1 2) | Kenneth Roe |
| 2019-04-12 | Snugglebug: A Powerful Approach To Weakest Preconditions, PLDI 2009 (PDF) | Dr. Scott Smith |
| 2019-04-05 | Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (PDF) | Shiwei Weng |
| 2019-03-08 | A Tutorial on Inductive Definitions (slide) | Dr. Scott Smith |
| 2019-03-01 | Finding Code That Explodes under Symbolic Evaluation, OOPSLA 2018 (PDF) | Dr. Scott Smith |
| 2019-02-22 | Speeding up Symbolic Reasoning for Relational Queries, OOPSLA 2018 (PDF) | P.C. Shyamshankar |
| 2019-02-15 | Merlin: A Language Server for OCaml (Experience Report) (PDF) | Shiwei Weng |
| 2019-02-08 | Demand Control-Flow Analysis, VMCAI 2019 @ POPL 2019 | Leandro Facchinetti |
| 2019-02-01 | Define schedule for semester | Dr. Scott Smith |