Frank van Gilluwe
V Communications, Inc.
The Design and Verification of the Rio File Cache
IEEE Transactions on Computers
Running on the bare metal with GeekOS
Proceedings of the 35th SIGCSE technical symposium on Computer science education