Alessandro Pinto
United Technologies Research Center
apinto@eecs.berkeley.edu


Luca P. Carloni
Columbia University
luca@cs.columbia.edu


Alberto L. Sangiovanni-Vincentelli
University of California, Berkeley
alberto@eecs.berkeley.edu


For the MS Visual C++ release please contact
Xiaohang Wang
baikeina@gmail.com