Software behavior needs to be flexible to cope with perturbations in its environment. Benoit Baudry will tell us more about this challenge, see abstract below.
Software applications run in uncertain environments: hardware is increasingly approximate, users want more customization and hackers intensify their attacks. Consequently, software behavior needs to be flexible to cope with perturbations in its environment.
I will survey works that explore how software can be made more approximate and diverse in order to address this challenge. These works range from approximate source code transformations to runtime fault injection. They are grounded in the areas of compilation, programming languages and program transformations and are most often inspired by natural sciences such as immunology and ecology.
Benoit Baudry is a research scientist at INRIA, France. His research is in the area of software testing and analysis. He currently works on automatic software diversification and test generation for the construction of robust systems, in tight collaboration with companies such as Orange, ATOS and SMEs. He leads the DiverSE research group, a software engineering group that investigates automatic composition and synthesis of software diversity to manage unpredictability. He coordinated the FP7-FET DIVERSIFY project (2013-2016) and coordinates the STAMP H2020 project (2016-2019). He received his PhD from the University of Rennes in 2003.