Detecting Relaxed Memory Concurrency Bugs in C and C++ Compilers
Luke Geeson successfully defended his PhD thesis on detecting relaxed memory concurrency bugs in C and C++ compilers at University College London. The thesis introduces new automated testing techniques and tools for identifying concurrency-related bugs. It also explores the limitations of current tools and models in the LLVM and GCC compiler toolchains.
- ▪The thesis is titled 'Detecting Relaxed Memory Concurrency Bugs in C and C++ Compilers'.
- ▪It includes the development of the Téléchat tool for discovering new concurrency bugs.
- ▪The Mix testing technique and Atomic-mixer tool were also introduced to test compiler interoperability.
Opening excerpt (first ~120 words) tap to expand
PhD Thesis. Detecting Relaxed Memory Concurrency Bugs in C and C++ Compilers @ University College London 2026 [thesis], [BibTeX], April 28, 2026, Luke Geeson I successfully defended my PhD thesis titled Detecting Relaxed Memory Concurrency Bugs in C and C++ Compilers. Thanks to Peter Sewell and David Clark for assessing the thesis! The thesis is here. The thesis is published by UCL and is available here and has a DOI 10.14324/000.th.10224678. BibTeX: Abstract is: This thesis develops an automated testing framework and new testing techniques for discovering concurrency-related bugs in C and C++ compilers. Firstly, we present a technique that compares source and compiled program behaviours using source and architecture models.
…
Excerpt limited to ~120 words for fair-use compliance. The full article is at LukeGeeson.
Discussion
0 commentsMore from LukeGeeson
