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).