ISO Papers

Papers

• (2025-11-05) [P3881] Forward-progress for all infinite loops ^[r0]
• (2026-03-26) [P3881] How to Avoid OOTA Without Really Trying ^{[r3, r4]}
• (2024-05-23) [P3111] Atomic Reduction Operations ^{[r0, r1, r2, r3, r4]}
• (2023-06-12) [P2850] Minimal Compiler Preserved Dependencies ^[r0]
• (2021-08-19) [P2426] Coherence order and program dependencies ^[r0]
• (2022-11-07) [P1780] Modular Relaxed Dependencies: A new approach to the Out-Of-Thin-Air Problem ^{[r0, r1, r2]}

CWG Issues

• (2024-08-12) [CWG2923] Note about infinite loops and execution steps