Workshops and Tutorials
List of Workshops and Tutorials
- Unikraft Tutorial
- Workshop on Kernel Isolation, Safety and Verification (KISV)
- Tutorial on Formal Modeling and Analysis of Distributed Systems (FMADS)
- Tutorial on Dynamic Data-Race Prediction (DDRP)
- SOSP Doctoral Workshop (SySDW)
- Virtual Machine Introspection (VMI)
- CHERI Tutorial
- Tutorial on Serverless and vHive (SV)
- Workshop On Resource Disaggregation and Serverless (WORDS)
- Workshop on Disruptive Memory Systems (DIMES)
- Workshop on Programming Languages and Operating Systems (PLOS)
Schedule
All workshops and tutorials will take place on October 23, 2023.
| Time | Event | Room 1 | Room 2 | Room 3 | Room 4 | Room 5 | Room 6 |
|---|---|---|---|---|---|---|---|
| 08:00- | REGISTRATION | ||||||
| 08:30-10:00 | Session I | Unikraft | KISV | SySDW | VMI | SV | DIMES |
| 10:00-10:30 | Coffee break | ||||||
| 10:30-12:00 | Session II | CHERI | |||||
| 12:00-13:30 | Lunch break | ||||||
| 13:30-15:00 | Session III | FMADS | WORDS | PLOS | |||
| 15:00-15:30 | Coffee break | ||||||
| 15:30-17:00 | Session IV | DDRP | |||||
| 17:00-17:10 | Short break | ||||||
| 17:10-18:00 | Session V | ||||||
| 18:30 | WELCOME RECEPTION | ||||||
Contact
Any questions should be emailed to the SOSP 2023 Workshop Chair, Pramod Bhatotia (pramod.bhatotia@cit.tum.de).
