Vern Paxson, International Computer Science Institute