Richard West, Gary T. Wong. Cuckoo: a Language for Implementing Memory- and Thread-safe System Services. In Hamid R. Arabnia, editor, Proceedings of The 2005 International Conference on Programming Languages and Compilers, PLC 2005, Las Vegas, Nevada, USA, June 27-30, 2005. pages 94-100, CSREA Press, 2005.
Abstract is missing.