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

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

More →