Exploiting Undefined Behavior in C/C++ Programs: The Performance Impact [pdf]

Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact

Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact

An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation (CAV 2021)