Meeting time

Fridays, 11:00–12:00.

Classroom

JHU PL Zoom (~~Malone 228~~)

Contact

plseminar@cs.jhu.edu

Discussion Schedule

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