Meeting time

Fridays, 10:00–11:00.

Classroom

Malone Hall 222.

Discussion Schedule

Date Paper Presenter
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