progscrape: cl.cam.ac.uk

Into the Depths of C: Elaborating the De Facto Standards

8 years ago cl.cam.ac.uk c

Hardware Graph Prefetchers

8 years ago cl.cam.ac.uk

Gdb: Debugging with the natives

9 years ago cl.cam.ac.uk debugging

Practical lock-freedom

9 years ago cl.cam.ac.uk

Security Engineering: A Guide to Building Dependable Distributed Systems

9 years ago cl.cam.ac.uk

CppMem: Formalised Interactive C/C++ memory model

9 years ago svr-pes20-cppmem.cl.cam.ac.uk c c++

Towards a Theory of Application Compartmentalisation (2013)

9 years ago cl.cam.ac.uk

Partially evaluating a bytecode interpreter using C++ templates

9 years ago cl.cam.ac.uk bytecode c++

Copy Protection in Modern Microcontrollers

9 years ago cl.cam.ac.uk

Beyond the PDP-11: Architectural support for a memory-safe C abstract machine (CHERI)

9 years ago cl.cam.ac.uk c