Extensibility, safety and performance in the SPIN operating system (1995)

by B BERSHAD, S SAVAGE, P PARDYAK, E SIRER, M FIUCZYNSKI, D BECKER, C CHAMBERS, S EGGERS
Venue:In Proceedings of the 15th ACM Symposium on OperatingSystemsPrinciples (Copper Mountain