[os-reading] Systems talk today

[Michael Swift <swift@xxxxxxxxxxx>]

Hi Folks -

There will be a systems talk today at 4 pm in room 2310. This is a practice talk for the OSDI conference next week. 

- Mike

> * Systems/Security Seminar [2] Date: Mon, 10/01/2012 - 4:00pm - 5:00pm Room:
>   2310 Speaker Name: Matthew Renzelmann Speaker Institution: University of
>   Wisconsin--Madison
>   Matt Renzelmann will do a practice talk for his upcoming OSDI paper,
>   "SymDrive:  Testing Drivers without Devices."  This paper is joint
>   work with Asim Kadav and Mike Swift here at UW.  The talk is 25 minutes
>   with time for questions, feedback, and discussion afterward.  Read more
>   at http://research.cs.wisc.edu/sonar/projects/symdrive/
> 
>   Abstract:
>   Device-driver development and testing is a complex and error-prone
>   undertaking. For example, testing error handling code requires simulating
>   faulty inputs from the device. A single driver may support dozens of
>   devices, and a developer may not have access to any of them. Consequently,
>   many Linux driver patches include the comment "compile tested only."
> 
>   SymDrive is a system for testing Linux and FreeBSD drivers without their
>   devices present. The system uses symbolic execution to remove the need for
>   hardware, and extends past tools with three new features. First, SymDrive
>   uses static analysis and source-to-source transformation to greatly reduce
>   the effort of testing a new driver. Second, SymDrive checkers are ordinary
>   C code and execute in the kernel, where they have full access to kernel
>   and driver state. Finally, SymDrive provides an execution tracing tool to
>   identify how a patch changes I/O to the device and to compare
>   device-driver implementations. In applying SymDrive to 21 Linux drivers
>   and 5 FreeBSD drivers, we found 39 bugs.