Remzi Arpaci-Dusseau, University of Wisconsin—Madison