Beyond the PDP-11: Architectural support for a memory-safe C abstract machine [pdf]cl.cam.ac.uk40 pointsluu11 years ago