How Clang Compiles a Function

Operant Conditioning by Software Bugs (2012)

Closing the Loop: The Importance of External Engagement in CS Research

The Declining Value of a CS Master's Degree

The Basic Toolbox

Some Goals for High-impact Verified Compiler Research

A Guide to Undefined Behavior in C and C++, Part 1

Undefined Behavior in 2017

Pointer Overflow Checking is in LLVM

Compiler Optimizations are Awesome

Fun at the Unix Terminal Part 1

Proposal for a CompCert Superoptimizer

Taming Undefined Behavior in LLVM

A Quiz About Integers in C

Undefined Behavior = Unsafe Programming

Introduction to Precision Farming

A Tourist’s Guide to the LLVM Source Code

The future of compiler optimization [x-post from r/rust]

Testing LLVM

Undefined Behavior: Not Just for Programming Languages

Race Condition vs. Data Race

Vigorous Public Debates in Academic Computer Science

Solutions to Integer Overflow

Compilation and Hyperthreading

Teaching C

Making the Sentence Structure of Paragraphs Apparent (2011)

Pointer Overflow Checking

Checking Up on Dataflow Analyses

Efficient Integer Overflow Checking in LLVM

Nine ways to break your systems code using volatile

More →