Home > 2009 > January

Monthly Archives: January, 2009

A A

16 January 2009 Rustan Leino talks about Correct Concurrency with Chalice: Friday, January 16, 2009, 11h, bdg I, 1st floor, the MSR-INRIA Joint Centre, Inria Saclay, Correct Concurrency with Chalice, Rustan Leino, Microsoft Research, Redmond, Chalice is an experimental language for writing and verifying concurrent ... More
15 January 2009 Rustan Leino gives a Digiteo conference on the Verification tools at Microsoft: Verification tools at Microsoft Rustan Leino, Microsoft Research, Redmond 15 January 2009, 10h30 Amphi du PUIO, bât 640, Université Paris-Sud Program verification and other symbolic-execution and static-analysis techniques are ... More
8 January 2009 Réunion du projet ANR Parsec: Jeudi 8 janvier, 11h Centre Commun INRIA-Microsoft Research Batiment I, Orsay Programme de la journée: 11h-1130h C. Hurlin Automatic parallelization based on proof rewriting 11h30-12h F. Boussinot The ANR PARTOUT project 12h-12h30 R. Amadio TBA 12h30-14h30 discussion and ... More