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

The Problem with Threads (2006)

Beastly Numbers (1996)

Can Logic Programming Execute as Fast as Imperative Programming? (1990)

More →