Advanced Operating Systems Graduate School August 31, 2020 Advanced Operating Systems: The SPIN Approach