Previous | 
Home
Section: Partnerships and Cooperations
International Initiatives
Inria Associate Teams Not Involved in an Inria International Labs
JCERT
-
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
WEBCERT
-
International Partner (Institution - Laboratory - Researcher):
-
See also: JSCert web page
-
The goal of the WebCert partnership is to extend the development of the JSCert formal semantics of JavaScript in the following domains: further mechanized specification, human-readable formal specification, program logic, verification tools, and the formalization of Defensive JavaScript.
Informal International Partners
Alan Schmitt is part of a Polonium Hubert Curien Partnership (PHC) with the University of Wrocław. This partnership is led by Sergueï Lenglet, from Loria, Nancy (currently visiting member of the Celtique project).