Overall Objectives
Research Program
Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Overall Objectives

Highlights of the Year

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.