Building a Compiler Optimizing C++ Atomic Accesses

Expressing Intent: An evaluation of the Arm Machine Readable Specification

Fencing off unwanted behavior: Improving and evaluating the Fency static analysis tool

Probabilistic Testing for Weak Memory Concurrency

Evaluating Souper: A Synthesizing Superoptimizer

Evaluating Stochastic Floating-Point Superoptimization with STOKE

Evaluating the egg Equality Saturation Superoptimizer

Evaluating STOKE