@InProceedings{West+:PLC05, author = "Richard West and Gary Wong", title = "Cuckoo: a Language for Implementing Memory- and Thread-safe System Services", booktitle = "Proceedings of the International Conference on Programming Languages and Compilers ({PLC})", year = 2005, month = jun, pages = "94--100" }