SOSP 2024 Workshops
The following workshops and tutorials will be co-located with SOSP 2024.
- Using Blueprint for accelerating Microservice Research (Tutorial)
- Workshop on Kernel Isolation, Safety and Verification (KISV)
- Verifying Rust code with Verus (Tutorial)
- Practical Adoption Challenges of ML for Systems (PACMI)
- Disruptive Memory Systems (DIMES)
- Quantum Operating System Design and Scalable Real-time Control
- Hot Topics in System Infrastructure (HotInfra)
- Doctoral Workshop (SysDW)
Schedule
All workshops and tutorials will take place on November 3, 2024.
| Time | Event | Room 616A | Room 616B | Room 615A | Room 615B | Salon J | Salon K | Room 602 |
|---|---|---|---|---|---|---|---|---|
| 8:00am - 9:00am | Breakfast (Salon H) | |||||||
| 09:00am - 10:30am | Session I | Blueprint Tutorial | Verus Tutorial | PACMI | DIMES | Quantum OS | HotInfra | SysDW |
| 10:30pm - 11:00am | Coffee break | |||||||
| 11:00am - 12:00pm | Session II | Blueprint Tutorial | Verus Tutorial | PACMI | DIMES | Quantum OS | HotInfra | SysDW |
| 12:00pm - 1:00pm | Lunch (Salon H) | |||||||
| 1:00pm - 3:30pm | Session III | KISV | Verus Tutorial (Advanced Topics) | PACMI | DIMES | Quantum OS | HotInfra | SysDW |
| 3:30pm - 4:00pm | Coffee break | |||||||
| 4:00pm - 5:30pm | Session IV | KISV | Verus Tutorial (Advanced Topics) | PACMI | DIMES | Quantum OS | HotInfra | SysDW |
| 5:30pm | SOSP Conference Reception (Salon F/G) | |||||||
Contact
If you have any questions regarding the SOSP'24 workshops and tutorials, contact the SOSP'24 Workshop Chair: Anton Burtsev (anton.burtsev@utah.edu).