Papers, Talks, Recent Manuscripts

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 NoE Project 256980 Nessos.
Co-authors: Martín Abadi, Torben Amtoft, Sruthi Bandhakavi, Mike Barnett, Germán Andrés Delbianco, Matthew B. Dwyer, Deepak Garg , Roberto Giacobazzi , John Hatcliff, Nevin Heintze, Neil Immerman , Shachar Itzhaky , Thomas Jensen, Ori Lahav, Gurvan Le Guernic, Ondřej Lhoták , Ben Livshits , Alexander Malkis , Mark Marron , Isabella Mastroeni , Aleksandar Nanevski , David A. Naumann, Mohammad Nikouei, Aditya Nori, Marco Pistoia , Sriram Rajamani, Venkatesh P. Ranganath, Jon G. Riecke, Stan Rosenberg, Mooly Sagiv , David A. Schmidt, Ilya Sergey, Gordon Stewart, Qi Sun
Publications organized by: