For 2021, we will hold a smaller-scale Zoom meeting focused on systems verification research in the SOSP/OSDI community.
Each talk slot is 10 minutes of presentation and 10 minutes of audience discussion. We hope that the small scale will encourage lively discussion, so the presentation might be interspersed with questions / discussion.
The meeting will be on October 22, 2021; all times are in the US/Eastern time zone.
| Time | Speaker | Topic |
|---|---|---|
| 10:30am | Introductions | |
| 11:00am | Tej Chajed (MIT) | GoJournal / DaisyNFS |
| 11:20am | Manos Kapritsos (Michigan) | Proving performance properties of distributed systems |
| 11:40pm | Runzhou Tao, Ronghui Gu (Columbia) | Verifying KVM on a relaxed memory model |
| 12:00pm | BREAK | |
| 12:30pm | Anish Athalye (MIT) | Proving security of hardware/software systems using Rosette |
| 12:50pm | Andres Erbsen (MIT) | Expanding the scope of Fiat Cryptography |
| 1:10pm | Wolf Honore, Zhong Shao (Yale) | Fault-aware model for compositional verification of strongly consistent distributed systems |
| 1:30pm | BREAK | |
| 2:00pm | Luke Nelson, Xi Wang (Washington) | A proof-carrying approach to building correct and flexible BPF verifiers |
| 2:20pm | James Bornholt (UT Austin) | Lightweight verification for storage |
| 2:40pm | Upamanyu Sharma (MIT) | Verifying distributed systems with Grove |
| 3:00pm | BREAK | |
| 3:30pm | Chris Hawblitzel (MSR) | Verifying Rust code |
| 3:50pm | Ralf Jung (MIT) | Miri: undefined behavior in Rust |
| 4:10pm | BREAK |