Flux Research Group / School of Computing

Cuckoo: a Language for Implementing Memory- and Thread-safe System Services

Richard West and Gary Wong

Proceedings of the International Conference on Programming Languages and Compilers (PLC) 2005.

areas
Operating Systems, Languages, Security