Section: Partnerships and Cooperations
Inria Associate Teams not involved in an Inria International Labs
International Partner (Institution - Laboratory - Researcher):
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.