Eric Dunn and Nathan Smith, Science Applications International Corporation Ray Hoare, Concurrent EDA Huan-Ting Meng and Jianming Jin, University of Illinois.
