Publications

Books


Low-Level Software Security for Compiler Developers

Published in llsoftsec.github.io, 2023

The purpose of this book is to serve as a guide to every compiler developer that needs to learn about software security relevant to compilers. Even though the focus is on compiler developers, we expect that this book will also be useful to people working on other low-level software.

Download Paper

Conference Papers


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

Published in PLDI, 2025

The C and C++ languages define hundreds of cases as having undefined behavior (UB). These include, for example, corner cases where different CPU architectures disagree on the semantics of an instruction and the language does not want to force a specific implementation (e.g., shift by a value larger than the bitwidth). In this paper, we present the first comprehensive study that examines the performance impact of exploiting UB in C and C++ applications across multiple CPU architectures.

Download Paper

Posters