Vern Paxson, International Computer Science Institute and University of California, Berkeley