Section: Partnerships and Cooperations

International Research Visitors

Visits to International Teams

David Pichardie has spent one year at Purdue University, Indiana, US (from September 2011 to August 2012) working with Jan Vitek and Suresh Jagannathan. This was a one year Inria sabbatical leave. The collaboration deals with the formal verification of a Java compiler, taking into account concurrency. As a first result, a paper will appear at POPL 2013 where we provide a new intermediate memory model for the Java language.