Posters
Research partially supported by National Science Foundation grants
EIA-9806835, CCR-0209205, CCR-0296182, ITR-0326577, CNS-0627748;
EPSRC grant GR/S03539.
Co-authors:
Martín Abadi,
Torben Amtoft,
Sruthi Bandhakavi,
Mike Barnett,
Matthew B. Dwyer,
Roberto Giacobazzi ,
John Hatcliff,
Nevin Heintze,
Thomas Jensen,
Gurvan Le Guernic ,
Ben Livshits ,
Isabella Mastroeni ,
David A. Naumann,
Aditya Nori,
Marco Pistoia ,
Sriram Rajamani,
Venkatesh P. Ranganath,
Jon G. Riecke, Stan Rosenberg,
David A. Schmidt,
Qi Sun