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 | SySDW | Unikraft | DIMES | SV | CHERI | KISV |
| 10:00-10:30 | Coffee break | ||||||
| 10:30-12:00 | Session II | ||||||
| 12:00-13:30 | Lunch break | ||||||
| 13:30-15:00 | Session III | PLOS | FMADS | WORDS | |||
| 15:00-15:30 | Coffee break | ||||||
| 15:30-17:00 | Session IV | DDRP | |||||
| 17:10-18:00 | Session V | ||||||
| 18:30 | WELCOME RECEPTION Schloss Koblenz (5-minute walk from the main venue) |
||||||
Rooms
The rooms can be found within the main conference venue.
Contact
Any questions should be emailed to the SOSP 2023 Workshop Chair, Pramod Bhatotia (pramod.bhatotia@cit.tum.de).
