Switch Model
- POPL17:
- POPL16:
- TUTO:
- HAND:
- HAND2:
- CO:
- SYS:
- Fence2:
- FenceLA:
- LD:
- PPO:
- RelAcq:
- RPLUS:
- ATOM:

- POPL17:
- HAND: Hand-written tests
- IRIW: Independent Reads of Independent Writes
- ISA2: B cumulativity
- LB: Load Buffering
- MP: Message Passing
- PPO: Preserved Program Order
- RWC: Read to Write Causality
- SB: Store buffer forwarding
- WRC: Write to Read Causality
- 2+2W:
- 3.2W:
- 3.LB:
- 3.SB:
- IRRWIW:
- IRWIW:
- R:
- S:
- WRR+2W:
- WRW+2W:
- W+RWC:
- WRW+WR:
- WWC:
- Z6.0:
- Z6.1:
- Z6.2:
- Z6.3:
- Z6.4:
- Z6.5:
