- Task 1: Semantic tools
- Task 2: Architectural Multiprocessor Semantics
- Task 3: Systems Programming Languages
- Task 4a: System APIs and Protocols
- Task 4b: Concurrency Reasoning
[Task 1 papers] [Task 1 bib] [Task 2 papers] [Task 2 bib] [Task 3 papers] [Task 3 bib] [Task 4 papers] [Task 4 bib]