talks
2011-20-01
Talks to come
- March 2, 2011, “Discovering Properties about Arrays in Simple Programs” (MeASI CEA LIST, Paris, France)
research
Conferences
- international conference PLDI'08
“Discovering Properties about Arrays in Simple Programs” (Loews Ventana Canyon Resort, Tucson, AZ, USA)
- international conference VMCAI'07
“An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints” (Plaza hôtel, Nice, France)
- workshop SYNCHRON'06
“An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints” (Hôtel le Pic-Blanc, Alpe d'Huez)
Invitations
- ProVal project-team, Laboratoire de Recherche en Informatique LRI
“Discovering Properties about Arrays in Simple Programs” (Orsay, France)
- Microsoft Research MSR
“Discovering Properties about Arrays in Simple Programs” (Redmond, WA, USA)
- Stanford Research Institute SRI
“Discovering Properties about Arrays in Simple Programs” (Menlo Park, CA, USA)