The Next Mainstream Programming Language: A Game Developer’s Perspective (2005)

Correlation between experience and efficacy of programmers [pdf]

Challenges of Resolving Merge Conflicts: A Mining and Survey Study

Design and Analysis of Real-Time Systems: Static WCET Analysis (2013)

When do changes induce fixes? (On Fridays.) (2005)

Formal Verification of a C0 Library for Strings (2006)

Yesterday, my program worked. Today, it does not. Why? (1999)

Theoretical Computer Science – An Introduction

Advanced Coverage Criteria

A graph-based higher-order intermediate representation (demonstrated with Impala, a dialect of Rust)

Impala: a Rust dialect that can partially evaluate functions at compile time and produce GPU code [PDF]