progscrape: cl.cam.ac.uk

Into the Depths of C: Elaborating the De Facto Standards

9 years ago cl.cam.ac.uk c

Malfunctional Programming

9 years ago cl.cam.ac.uk

Into the Depths of C: Elaborating the De Facto Standards

9 years ago cl.cam.ac.uk c

Hardware Graph Prefetchers

9 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++