Skip to the primary navigation.
Skip to the content.

C++Now 2025 Session Announcement: Using TLA+ to Fix a Very Difficult glibc Bug by Malte Skarupke

[[Saturday March 29, 2025]]

By digitalmedium1

C++Now 2025 SESSION ANNOUNCEMENT: Using TLA+ to Fix a Very Difficult glibc Bug by Malte Skarupke

Using TLA+ to Fix a Very Difficult glibc Bug

Register now at https://accuconference.org/booking/

Previous:C++Now 2025 Session Announcement: Techniques for Declarative Programming in C++ by Richard Powell

Next:C++Now 2025 Session Announcement: C++ on Nightmare Mode - Achieving High Performance, Cross-Platform, and Reliable Code by Edouard Alligand