Section: Overall Objectives

Highlights of the Year

• Suman Saha received the William C. Carter Award from DSN 2013 . The award recognizes an outstanding paper based on a graduate dissertation, and is the only form of best paper award given at DSN. The award was given for the paper Hector: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software.

• Nicolas Geoffray received the 2nd prize for the best PhD thesis in Operating System, from the French Chapter of ACM SIGOPS for his thesis titled “Fostering Systems Research with Managed Runtimes”.

• Inria is the leader of the new European project SyncFree , started in October 2013, described in more detail in Section  8.2.1.1 . SyncFree is based on the CRDT (see Section  6.3.5 ) and SwiftCloud (Section  5.2 ) technologies, invented here. CRDTs are data types that are guaranteed to ensure eventual consistency by construction. SwiftCloud is a distributed store that leverages CRDTs to support fast and reliable updates to shared data. This European project, which involves several internet start-ups and academic partners, aims to develop cloud-scale applications that are simpler, more scalable and cheaper.

Best Paper Award :

[44] Hector: Detecting resource-release omission faults in error-handling code for systems software in DSN 2013 - 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

S. Saha, J.-P. Lozi, G. Thomas, J. Lawall, G. Muller.