Meeting time

Fridays, 12:30–13:30.


Malone Hall 222.

Discussion Schedule

Date Paper Presenter
2018-07-20 Directed Symbolic Execution (PDF) Dr. Scott Smith
2018-06-29 Context-Sensitive Data-Dependence Analysis via Linear Conjunctive Language Reachability (PDF) Zachary Palmer
2018-06-08 Recursive Functions of Symbolic Expressions and their Computation by Machine, Part I (PDF) Dr. Scott Smith and Leandro Facchinetti