Papers, Talks, Recent Manuscripts, Posters
Research partially supported by National Science Foundation grants
EIA-9806835, CCR-0209205, CCR-0296182, ITR-0326577, CNS-0627748;
EPSRC grant GR/S03539; IBM T.J. Watson Research Center; Microsoft Research;Madrid Regional Government Project S2009TIC-1465 Prometidos;
MICINN Project TIN2009-14599-C03-02 Desafios; EU IST FET Project 231620 Hats.
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
Publications organized by: