Fridays, 11:00–12:00
JHU PL Zoom & Malone 222
| Date | Paper | Presenter |
|---|---|---|
| 2021-08-20 | 2021-08-20 topic: Thriving in a crowded and changing world: C++ 2006-2020, HOPL IV (paper, video) | Scott Smith |
| 2021-08-13 | JavaScript: The First 20 Years, HOPL IV (paper, video) | Scott Smith |
| 2021-08-06 | The History of Standard ML, HOPL IV (paper, video) | Scott Smith |
| 2021-07-09 | Retrofitting Effect Handlers onto OCaml, PLDI 2021 (paper) | Scott Smith |
| 2021-06-18 | OutsideIn(X): Modular type inference with local assumptions, JFP 2011 (paper) | Scott Smith |
| 2021-05-21 | egg: Fast and Extensible Equality Saturation, POPL 2021 (web, paper) | Scott Smith |
| 2021-05-14 | Dataflow-Based Pruning for Speeding up Superoptimization, SPLASH 2020 (web, paper) | Scott Smith |
| 2021-05-07 | A Graded Dependent Type System with a Usage-Aware Semantics, POPL 2021 (web, paper) | Scott Smith |
| 2021-04-30 | DynamiTe: Dynamic Termination and Non-termination Proofs, SPLASH 2020 (web, paper) | Scott Smith |
| 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 |