From Buffer Overflows to "Weird Machines" and Theory of Computation [pdf]
cs.dartmouth.edu