Infinitesimal machinery

Storing C++ Objects in Distributed Memory

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)

Latency Numbers Every Programmer Should Know

High-Coverage Hint Generation for Massive Courses

Scaling up Superoptimization

Beastly Numbers (1996)

Setuid Demystified (2002)

Mathematical Foundations of the GraphBLAS

An Interview with the Old Man of Floating-Point [1998]

Synthesis of Statically-Analyzable, Accelerator Networks from Sequential Programs (2016)

Markov's Inequality for Matrices

Numbers Every Programmer Should Know By Year

Why Events Are a Bad Idea (for high-concurrency servers) (2003)

M. I. Jordan: An Introduction to Probabilistic Graphical Models

Continuous Analytics Over Discontinuous Streams

Q and A: The future of artificial intelligence

CS294: Program Synthesis for Everyone

Generative Visual Manipulation on the Natural Image Manifold

Grail Quest: A New Proposal for HW-Assisted Garbage Collection

CS 281B: Statistical Learning Theory (2014)

The ‘Off-Switch’