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.fr/download/engineering-position.pdf
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. In this paper, we formally introduces the definition of the Code Version Variability (CVV) leverage and present a first approach to automate Green Programming (i.e. CVV usage) by studying the specific use-case of an HPC stencil-based numerical code, used in production. This approach is based on the automatic generation of code versions thanks to a Domain Specific Language (DSL), and on the automatic choice of code version through a set of actors. Moreover, a real case study is introduced and evaluated though a set of benchmarks to show that several trade-offs are introduced by CVV. Finally, different kinds of production scenarios are evaluated through simulation to illustrate possible benefits of applying various actors on top of the CVV automation.
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.
Seminar and Collaboration at Northern Arizona University
Helene Coullon has been invited to the Nothern Arizona University from September 10th to 16th for a collaboration in link with the VeRDi project. She has given a seminar the 13th of September entitled “Performance, Software engineering and verification: a wining combination for HPC and Utility computing?”.
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.
Invitation as a track chair of the IEEE BigData Congress 2018 for the track “Quality of Big Data Services”.
The paper entitled “Extensibility and Composability of a Multi-Stencil Domain Specific Framework” has been accepted for publication in International Journal of Parallel Programming.
Talk given at Sohoma 2017, “Reconsidering the Relationship between Cloud Computing and Cloud Manufacturing”.
Paper accepted to ICPADS 2017