CS 395T: Systems Verification and Synthesis Spring 2022

References

Other than the papers on the reading list, here are some suggestions you might find interesting.

Compilers

Operating systems

File systems

Distributed systems

Networking

Security

Concurrency