Roofline: A visual performance model for floating-point programs and multicore architectures

Trace Scheduling: A Technique for Global Microcode Compaction (1981)

Understanding Latency Hiding on GPUs (2016)

The Design and Evaluation of a High Performance Smalltalk System

The Problem with Threads (2006)

PerfFuzz: Automatically Generating Pathological Inputs

Doug Tygar, Author of Why Johnny Can't Encrypt, Has Passed Away

Why Events Are a Bad Idea

JQF: Coverage-Guided Property-Based Testing in Java

PRaft: Building Provably Safe Distributed Systems using Model Checking

How Futile are Mindless Assessments of Roundoff in Floating-Point Computation ?

An Interview with the Old Man of Floating-Point (1998)

Bounds for sorting by prefix reversal (1978)

A Hardware Accelerator for Tracing Garbage Collection (2018)

Model-Checking an Entire Linux Distribution for Security Vulnerabilities (2005)

Return of the Runtimes: Rethinking the Language Runtime System (2017)

Reple: “Replay-Based” REPLs for Compiled Languages

CS 188 – Introduction to Artificial Intelligence

Infinitesimal machinery

Storing C++ Objects in Distributed Memory

A Highly Productive Implementation of an Out-of-Order Processor Generator

Timing Analysis of Keystrokes and Timing Attacks on SSH (2001)

MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery

Statically-Directed Dynamic Automated Test Generation

Creating Expressive C++ Smart Pointers for Remote Memory

LogP: Towards a Realistic Model of Parallel Computation (1993)

"we must discard threads as a programming model"(2006)

Latency Numbers Every Programmer Should Know

High-Coverage Hint Generation for Massive Courses

Scaling up Superoptimization

More →