Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams not involved in an Inria International Labs

  • Title: Verified Compilation of Concurrent Managed Languages

  • International Partner (Institution - Laboratory - Researcher):

    • Purdue University (United States) - Suresh Jagannathan

  • Start year: 2014

  • See also: http://www.irisa.fr/celtique/ea/jcert/

  • Safety-critical applications demand rigorous, unambiguous guarantees on program correctness. While a combination of testing and manual inspection is typically used for this purpose, bugs latent in other components of the software stack, especially the compiler and the runtime system, can invalidate these hard-won guarantees. To address such concerns, additional laborious techniques such as manual code reviews of generated assembly code are required by certification agencies. Significant restrictions are imposed on compiler optimizations that can be performed, and the scope of runtime and operating system services that can be utilized. To alleviate this burden, the JCert project is implementing a verified compiler and runtime for managed concurrent languages like Java or C#.

Inria International Partners

Declared Inria International Partners

Professor Philippa Gardner, Imperial College, UK, since December 2015.

Informal International Partners

Alan Schmitt is part of a Polonium Hubert Curien Partnership (PHC) with the University of Wrocław. This partnership is lead by Sergueï Lenglet, from Loria, Nancy, France.