CSCI 6650: Advanced Topics in Operating Systems