Andrea Arpaci-Dusseau, University of Wisconsin, Madison