OSDI program on-line
The OSDI 2004 program is up, and the two award-winning papers look pretty interesting: Recovering Device Drivers from UW, but especially Using Model Checking to Find Serious File System Errors from Dawson Engler & co. at Stanford.
posted by Emery at 11:18 PM
1 Comments:
Meant to add - another interesting thing to read is the Google language "map-reduce" paper...
Post a Comment
<< Home