Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Counterintuitive Properties of High Dimensional Space (2018)

Why "Structure and Interpretation of Computer Programs" matters (2011)

Randomness and the Netscape Browser (1996)

Sparrow: Distributed, Low Latency Scheduling (2013) [pdf]

Java’s floating-point hurts everyone everywhere (1998) [pdf]

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

Mesh Generation and Geometry Processing in Graphics, Engineering (2012)

Learning Regular Sets from Queries and Counterexamples (1987)

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

Who Says C is Simple?

Personal calculator has key to solve any equation f(x)=0 (1979)

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

Snap is Scheme disguised as Scratch

Interstellar nuclear-powered transport (FJ Dyson) (1968)

Taking students from schematic to silicon in one semester (2018)

A virtual machine and Pascal compiler in Berkeley LOGO

A Logarithm Too Clever by Half (2004)

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

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

PerfFuzz: Automatically Generating Pathological Inputs

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

More →