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,
Alexander Bagnall,
Sruthi Bandhakavi, Mike Barnett,
Germán Andrés Delbianco,
Matthew B. Dwyer,
Ignacio Fábregas, František Farka,
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,
Ramana Nagasamudram,
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,
Joseph Tassarotti,
Jean-Baptiste Tristan,
Koundiniya Vajjha
Publications organized by: