Funded projects
FSN/PIA HYDDA
- Dates: 2017-2020
- Partners: Atos, Dassault Aviation, EasyVirt, ICO, IMT Atlantique, UGA
- Title: HYbrid Deployment for Data Analytics
- Contacts: Thomas Ropars, Vania Marangozova, Noel De Palma
The HYDDA project aims at enabling the use of hybrid HPC-Cloud platforms for the execution of data intensive applications.
ANR Veriamos
- Dates: 2018-2023
- Partners: INRIA, LIP6/UPMC, UGA
- Title: Verified Abstract Machines for Operating Systems
- Contacts: Nicolas Palix
The VeriAMOS project will attack the problem of verifying a class of Operating Systems services thanks to both Domain Specific Languages and static analyzers.
BPI / FEDER/FSE RHONE-ALPES - Virtual Studio
- Dates: 2016-2020
- Partners: DIGIGRAM, UGA (LIG) and 2 other confidential industrial partners
- Title: Virtual Studio for scalable production and broadcasting of radio content
- Contacts: Renaud Lachaize, Noel De Palma, Vivien Quéma
ANR RainbowFS
- Dates: 2017-2021
- Partners: UPMC/LIP6, Scality, CNRS (LIG), Université Savoie Mont Blanc, Telecom SudParis
- Title: Just-Right Consistency for Scalable File Systems
- Contacts: Vivien Quéma, Renaud Lachaize
The aim of RainbowFS is to investigate an approach to distributed storage that ensures consistency semantics tailored to the application, while retaining scalability and availability. Project web site