Remzi H. Arpaci-Dusseau, University of Wisconsin - Madison