Check out the new USENIX Web site. next up previous
Next: Bibliography Up: Safety Checking of Kernel Previous: Conclusions

Acknowledgments

This work started out as a project for a special topics seminar on microprocessor architectures taught by Kevin Skadron of the University of Virginia.

Niels Provos, Kevin Skadron, and Chris Telfer reviewed early drafts of this paper and provided valuable feedback.



Craig Metz 2000-05-08