| 2021-10-06 |
Cyrus Liu |
Proving LTL Properties of Bitvector Programs and Decompiled Binaries |
| 2021-10-13 |
Michael Greenberg and Eric Koskinen |
Practice talks for OOPSLA! |
| 2021-10-20 |
Dave Naumann |
Relational Hoare Logic |
| 2021-10-27 |
Ton Chanh Le |
Deobfuscation with Dynamic Analysis |
| 2021-11-03 |
SOCIAL |
|
| 2021-11-10 |
Ramana Nagasamudram |
Incorrectness Logic |
| 2021-11-17 |
Yuchen (Dennis) Zhang |
Debloating Address Sanitizer |
| 2021-11-24 |
THANKSGIVING |
|
| 2021-12-01 |
SOCIAL |
|
| 2021-12-08 |
Aaron Bembenek (Harvard) |
Datalog as a Monotonic Theory |
| 2021-12-15 |
Mihai Nicolla |
Scaling a file system to many cores using an operation log |
| 2021-12-17 |
Michael Pradel (U. of Stuttgart) |
Neural Software Analysis: Learning Developer Tools from Code |
| 2021-12-22 |
BREAK |
|
| 2021-12-29 |
BREAK |
|
| 2022-01-05 |
BREAK |
|
| 2022-01-12 |
BREAK |
|
| 2022-01-19 |
POPL |
|
| 2022-01-26 |
SOCIAL |
|
| 2022-01-26 |
… (omicron winter) … |
|
| 2022-03-16 |
SPRING BREAK |
|
| 2022-03-23 |
Raffi Khatchadourian (Hunter College) |
Challenges in Migrating Imperative Deep Learning Programs to Graph Execution: An Empirical Study |
| 2022-03-30 |
Logistics |
|
| 2022-04-01 |
Marco Gaboardi |
A Separation Logic for Negative Dependence |
| 2022-04-06 |
Koss Kleftogeorgios |
PACStack: an Authenticated Call Stack |
| 2022-04-13 |
Shan Huang |
|
| 2022-04-20 |
Ayomide Akinsanya |
|
| 2022-04-27 |
Jared Pincus |
Thesis Defense |
| 2022-05-04 |
(canceled since NJPLS is this week) |
|
| 2022-05-06 |
NJPLS! |
|
| 2022-05-11 |
Ton Chanh Le |
|
| 2022-05-18 |
Tachio Terauchi (Waseda, Japan) |
|
| 2022-06-16 |
Agustín Mista (Chalmers) |
MUTAGEN: Coverage-Guided, Property-Based Testing using Exhaustive Structure-Preserving Mutations |
