Rigorous OS Design: an Idea Whose Time Has Come

Time and Location:

April 08, 2015 at 11:30AM; Warren Weaver Hall, Room 1302

Speaker:

Leonid Ryzhyk, Carnegie Mellon University