Stories by luu

Dropping out

Volatility: an advanced memory forensics framework

Application control of TCP retransmission on Linux (2011)

RELAY: Static Race Detection on Millions of Lines of Code

LiquidHaskell: Refinement Types via SMT and Predicate Abstraction

What I've learned from teaching

Inversions in Computing

How GPUs Work

Fast integer overflow detection (2012)

Lists and Lists (1996)

Intel’s Cache Monitoring Technology Software-Visible Interfaces

Impact of memory allocators on MySQL performance

Why the World Hates Lawyers

My Best Hiring Stunt to Date (2011)

Syscall overhead and VMs

Why are objects so hard to debug?

Don't Hire Cheap Hackers – write simple programs yourself

The Future of the LispM

Homotopy Type Theory

Option and null in dynamic languages