CS 519: Operating System Theory