paper
OSDI slides
corey kernel code
linux benchmark code