Parallel Programming

1. Possible Executions Analysis
2. Stack with Elimination
3. Michael-Scott Lock-Free Queue
4. Fine-Grained Locking
5. Lock-Free Set via Linked Lists
6. Parallel Dijkstra with Multi-Queue
7. Monotonic Clock
8. Universal Construction
9. MCS Lock
10. FAA-Based Lock-Free Queue
11. Synchronous Queue
12. Lock-Free Bank
13. STM Bank
14. Blocking Stack

Distributed Systems

1. Distributed Mutex
2. Distributed FIFO
3. Distributed Consensus Error