Fridays, 12:30–13:30.
Malone Hall 222.
| 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 |