Loading...

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

Programming as Theory Building, Naur (1985). PDF-link

Runahead Execution vs. Conventional Data Prefetching in the IBM POWER6 Microprocessor (2010)

Foreword for Fuzz Testing Book

Electron band structure in germanium, my ass (2001)

Programming as Theory Building (1985) [pdf]

The invention of fuzz testing

Electron band structure in germanium, my ass (2000)

Efficiently Searching In-Memory Sorted Arrays: Revenge of Interpolation Search? [pdf]

How to explain zero-knowledge protocols to your children (1998)

Probability and Statistics Cookbook (2011)

Naur on Programming as Theory Building (1985)

A Study of Firecracker and gVisor (2020)

Operating Systems: Three Easy Pieces

Log-structured File Systems

Operating Systems: Three Easy Pieces

The No-Order File System

Anticipatory Procastrination

CBR 1000RR LEDs

UWisconsin course on Haskell and Rust

CS-838: Virtualization

Programming as Theory Building – Peter Naur

Multilisp: A Language for Concurrent, Symbolic Computation (1985)

Fast key-value stores: An idea whose time has come and gone

How to Eliminate the Dreaded “Blind Spot”

Manual vs. Automated Vulnerability Assessment: A Case Study

Operating Systems: Three Easy Pieces

Peeking Behind the Curtains of Serverless Platforms

Operating Systems: Three Easy Pieces

Electron Band Structure in Germanium, My Ass (2007)

Probability and Statistics Cookbook

More →