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,
Matthew B. Dwyer,
John Hatcliff,
Nevin Heintze,
Thomas Jensen,
David A. Naumann,
Marco Pistoia,
Venkatesh P. Ranganath,
Jon G. Riecke,
David A. Schmidt,
Qi Sun