CS503: Operating Systems