Inproceedings,

Safe Operating System Specialization: the RPC Case Study

, , and .
Workshop Record of WCSSS'96 -- The Inaugural Workshop on Compiler Support for Systems Software, page 24--28. Tucson, AZ, USA, (February 1996)

Meta data

Tags

Users

  • @cabird

Comments and Reviews