Papers and Talks

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

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

No publications.

1999

1998

1997

1996

No publications.

1995

1994