Fridays, 11:00–12:00.
JHU PL Zoom (~~Malone 228~~)
| Date | Paper | Presenter |
|---|---|---|
| 2020-05-08 | Executable Formal Semantics for the POSIX Shell, POPL 2020 (pdf, video) | Dr. Scott Smith |
| 2020-05-01 | Satisfiability Modulo Bounded Checking, CADE 2017 (pdf) | Shiwei Weng |
| 2020-04-24 | Formal Foundations of Serverless Computing (pdf, video) | Shiwei Weng |
| 2020-04-17 | Effect Instances via Lexically Scoped Handlers (pdf, video) | Dr. Scott Smith |
| 2020-04-10 | Verifying Higher-order Programs with the Dijkstra Monad, PLDI’13 (pdf) | Shiwei Weng |
| 2020-04-03 | Seminaïve Evaluation for a Higher-Order Functional Language (pdf, video) | Dr. Scott Smith |
| 2020-03-27 | Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments (pdf, video) | Dr. Scott Smith |
| 2020-03-13 | FuzzChick (pdf, video) | Dr. Scott Smith |
| 2020-03-05 | Incorrectness logic (pdf, video) | Dr. Scott Smith |
| 2020-02-28 | Coaxioms: flexible coinductive definitions by inference systems (pdf) | Zachary Palmer |
| 2020-02-21 | Kami HDL and ProcKami processor description (repo kami prockami, tutorial, slide) | Ken Roe |
| 2020-02-14 | Kami HDL and ProcKami processor description (repo kami prockami, tutorial, slide) | Ken Roe |
| 2020-02-07 | On the Impact of Programming Languages on Code Quality (pdf), TOPLAS 2019 | Leandro Facchinetti |
| 2020-01-31 | Define schedule for semester | Dr. Scott Smith |