Meeting time

Fridays, 12:30–13:30

Classroom

JHU PL Zoom

Contact

plseminar@cs.jhu.edu

Discussion Schedule

Date Paper Presenter
2021-04-23 Data Flow Refinement Type Inference, POPL’21 (web, paper) Scott Smith
2021-04-16 Asynchronous Effects, POPL’21 (web, paper) Scott Smith
2021-04-09 Guided Linking: Dynamic Linking without the Costs, SPLASH 2020 (web, paper) Scott Smith
2021-04-02 Intensional Datatype Refinement, POPL 2021 (web, paper) Scott Smith
2021-03-26 Verifying Correct Usage of Context-Free API Protocols, POPL 2021 (web, paper) Scott Smith
2021-03-19 SATUNE: Synthesizing Efficient SAT Encoders, SPLASH 2020 (web, paper) Scott Smith
2021-03-12 Transfinite Step-Indexing for Termination, POPL 2021 (web, paper) Scott Smith
2021-03-05 Compiling Symbolic Execution with Staging and Algebraic Effects, OOPSLA 2020 (web, paper) Scott Smith
2021-02-26 Formulog: Datalog for SMT-based static analysis, OOPSLA 2020 (web, paper) Scott Smith
2021-02-19 Detecting Locations in JavaScript Programs Affected by Breaking Library Changes, OOPSLA 2020 (web) Scott Smith
2021-02-12 Build Scripts with Perfect Dependencies, OOPSLA 2020 (web) Scott Smith
2021-02-05 Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian, OOPSLA 2020 (web) Scott Smith