Meeting time

Fridays, 10:00–11:00.

Classroom

Malone Hall 222.

Discussion Schedule

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