WG21 PAPERS

Mailings Beta

Volunteer-driven · Not affiliated with WG21 or ISO

Filter and export papers from the C++ Committee’s monthly mailings by time frame and audience using the options below, or refine your export further with the Select button. Links point directly to the official WG21 papers on open-std.org.

Submit Issue C++ Standards Committee Papers

Audience
Study Groups
Mailings
1 · Year 1 · Month

Select the arrow to the right of the year to filter for specific months.

2026 May · 1 of 6

Pick months in 2026

Add Year +

Select Years To Display

Current Years Selected

2026
Filters Author: Lucian Radu Teodorescu Clear all
2 out of 2 papers selected for export
Paper Title Authors Audience Doc Date
P4214R0 Composable Correctness and Progress Guarantees L. Teodorescu
SG1
Mailing Date 2026-05 Pre-Brno
Author(s) Lucian Radu Teodorescu
Target Audience SG1
Tracking issue View on GitHub
Abstract Correctness is usually harder to discuss than the individual properties from which it is built. Following Lamport’s division of correctness into safety and liveness [[Lamport77]](https://lamport.azurewebsites.net/pubs/proving.pdf), this paper argues that C++ standardization should treat progress guarantees as part of the correctness contract of concurrency facilities.
P4215R0 Primitives for Non-Local Concurrency L. Teodorescu
SG1
Mailing Date 2026-05 Pre-Brno
Author(s) Lucian Radu Teodorescu
Target Audience SG1
Tracking issue View on GitHub
Abstract C++26 senders provide a vocabulary for composing asynchronous work, but they do not by themselves provide sender-native equivalents of synchronization primitives that impose non-local concurrency constraints. Programs still need to serialize unrelated operations, bound concurrency across independently submitted work, wait for readiness, and coordinate completion or phase boundaries.
Showing 2 of 2 papers · source: open-std.org