Architectural Support for a Memory-Safe C Abstract Machine (2015) [pdf]cl.cam.ac.uk2 pointspjmlp9 years ago