Section: Partnerships and Cooperations

European Initiatives

FP7 Projects

• Project acronym: ERC Deepsea

• Project title: Parallel dynamic computations

• Duration: Jun. 2013 - Jun. 2018

• Coordinator: Umut A. Acar

• Other partners: Carnegie Mellon University

• Abstract:

  The objective of this project is to develop abstractions, algorithms and languages for parallelism and dynamic parallelism with applications to problems on large data sets. Umut A. Acar (affiliated to Carnegie Mellon University and Inria) is the principal investigator of this ERC-funded project. The other researchers involved are Mike Rainey (Inria, Gallium team), who is full-time on the project, and Arthur Charguéraud (Inria, Toccata team), who works 40% of his time to the project. Project website: http://deepsea.inria.fr/ .

Collaborations in European Programs, except FP7

• Project acronym: JsCert

• Project title: Certified JavaScript

• Duration: Oct. 2011 - ...

• Other partners: Imperial College and Inria Rennes – Bretagne Atlantique (Celtique project).

• Abstract: This project aims at providing a formal semantics to the JavaScript language. It is joint work with Philippa Gardner, Sergio Maffeis, Gareth Smith, Daniele Filaretti and Daiva Naudziuniene from Imperial College, Alan Schmitt and Martin Bodin from Inria Rennes – Bretagne Atlantique, and Arthur Charguéraud from Inria Saclay –Île-de-France. Project website: http://jscert.org .