Fridays, 12:30–13:30
JHU PL Zoom
| 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 |