The paper entitled “Predictable Efficiency for Reconfiguration of Service-Oriented Systems with Concerto”, written by Maverick Chardet, Hélène Coullon and Christian Perez has been accepted to CCGrid 2020 ! Maverick will present this paper in Melbourne, Australia !
The paper entitled “Online Multi-User Workflow Scheduling Algorithm for Fairness and Energy Optimization”, written by Emile Cadorel, Hélène Coullon and Jean-Marc Menaud has been accepted to CCGrid 2020 ! Emile will present this paper in Melbourne, Australia !
The paper entitled “Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning”, written by Didier Lime, Claude Jard and I, has been accepted to iFM 2019 ! I will present this paper in Bergen, Norway !
The paper entitled “A workflow scheduling deadline-based heuristic for energy optimization in Cloud”, written by Emile Cadorel, Jean-Marc Menaud and I, has been accepted to GreenCom 2019 ! Emile Cadorel will present this paper in Atlanta !
I have won a research grant from France Brevets after a pitch contest at the 5G event organized by IMT and Qualcomm.
I’ve been invited by the region Pays-de-la-Loire as a speaker in a round table at the international women’s day the 8th of March 2019 at the Abbaye of Fontevraud. I was representing women in research.
I am pleased to have successfully hired both a new postdoc and a new engineer on the VeRDi project ! Both of them will arrive in July 2019.
18 months engineering position - VeRDi project We are opening an engineering position in the VeRDi project. The VeRDi project is funded by the French region Pays De La Loire where Nantes is located. VeRDi is an acronym for Verified Reconfiguration Driven by execution. It aims at addressing distributed software reconfiguration in an efficient and verified way. Please contact Helene Coullon to apply: helene.coullon AT inria.fr More details are available here: http://helene-coullon.
Automatic Energy Efficient HPC Programming: A Case Study Helene Coullon, Laurent Lefevre, Christian Perez, Issam Rais Energy consumption is one of the major challenges of modern datacenters and supercomputers. By applying Green Programming techniques, developers have to iteratively implement and test new versions of their software, thus evaluating the impact of each code version on their energy, power and performance objectives. This approach is manual and can be long, challenging and complicated, especially for High Performance Computing applications.
18 months postdoc position - VeRDi project We are opening a post-doc position in the VeRDi project. The VeRDi project is funded by the French region Pays De La Loire where Nantes is located. VeRDi is an acronym for Verified Reconfiguration Driven by execution. It aims at addressing distributed software reconfiguration in an efficient and verified way The postdoc position is part of the multi-disciplinary VeRDi project. VeRDi can be divided in two different parts (though strongly related): (1) the design of efficient distributed reconfiguration models and systems; (2) the formalization of these models and the formal verification of some properties on them.