Hélène Coullon
- Département Automatique, Productique et Informatique (IMT Atlantique - DAPI)
- Laboratoire des Sciences du Numérique de Nantes (LS2N)
- Centre Inria de l'Université de Rennes
- IMT Atlantique (IMT Atlantique)
Présentation
Associate professor at IMT Atlantique since 2016 (HDR, 2025). Before her Ph.D., she worked for two years in the French company Dassault Systèmes and two years as a research engineer at the University of Orléans. She received her PhD in Computer Science from the University of Orléans in 2014 (CIFRE funding with the company Antea Group). She then completed a postdoctoral fellowship at Inria Lyon (2014-2016), and has been hired at IMT Atlantique in 2016. She received an Inria chair for five years between 2016 and 2021. She was also hired for two years (2020-2022) as an adjunct professor at the Arctic University of Norway (UiT at Tromsø). Her research expertise lies in the deployment and dynamic adaptation of distributed software systems. She tries in particular to address this field by combining contributions in programming languages, formal methods, software engineering, and parallel and distributed computing.
Domaines de recherche
Publications
Publications
|
|
Efficient Reconfigurations with Programmable Life Cycles: Contributions to Safety, Declarativity, and DecentralizationDistributed, Parallel, and Cluster Computing [cs.DC]. Nantes Université, 2025 |
|
|
Dynamic Adaptation of Urgent Applications in the Edge-to-Cloud ContinuumEuro-Par 2023: International European Conference on Parallel and Distributed Computing, Aug 2023, Limassol, Cyprus. pp.189-201, ⟨10.1007/978-3-031-50684-0_15⟩ |
|
|
Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case StudySANER 2024: IEEE International Conference on Software Analysis, Evolution and Reengineering, Mar 2024, Rovaniemi, Finland. pp.1-11, ⟨10.1109/SANER60148.2024.00007⟩ |
|
|
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude FormalizationICE 2024: 17th Interaction and Concurrency Experience, Jun 2024, Groningen, Netherlands. pp.1-18, ⟨10.4204/EPTCS.414.2⟩ |
|
|
Evaluating the energy consumption of adaptation tasks for a CPS in the Arctic TundraGreenCom 2023: 19th IEEE International Conference on Green Computing and Communications, Dec 2023, Danzhou, China. pp.1-8, ⟨10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics60724.2023.00122⟩ |
|
|
SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized ControllersSEAMS 2023: IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2023, Melbourne, Australia. pp.25-31, ⟨10.1109/SEAMS59076.2023.00014⟩ |
|
|
Leveraging Relay Nodes to Deploy and Update Services in a CPS with Sleeping NodesCPSCom 2023: 16th IEEE International Conference on Cyber, Physical and Social Computing, Dec 2023, Danzhou, China. pp.1-8, ⟨10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics60724.2023.00102⟩ |
|
|
SMT-Based Planning Synthesis for Distributed System ReconfigurationsFASE 2022 : 25th International Conference on Fundamental Approaches to Software Engineering, Apr 2022, Munich, Germany. pp.268-287, ⟨10.1007/978-3-030-99429-7_15⟩ |
|
|
Handling heterogeneous workflows in the Cloud while enhancing optimizations and performanceCLOUD 2022 - IEEE 15th International Conference on Cloud Computing, Jul 2022, Barcelona, Spain. pp.49-58, ⟨10.1109/CLOUD55607.2022.00021⟩ |
|
|
Executing Certified Model Transformations on Apache SparkSLE 2021: 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, Illinois, United States. pp.36-48, ⟨10.1145/3486608.3486901⟩ |
|
|
Predictable Efficiency for Reconfiguration of Service-Oriented Systems with ConcertoCCGrid 2020 : 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, May 2020, Melbourne, Australia. ⟨10.1109/CCGrid49817.2020.00-59⟩ |
|
|
Online Multi-User Workflow Scheduling Algorithm for Fairness and Energy OptimizationCCGrid2020 : 20th International Symposium on Cluster, Cloud and Internet Computing, Nov 2020, Melbourne, Australia. ⟨10.1109/CCGrid49817.2020.00-36⟩ |
|
|
Towards Transparent Combination of Model Management Execution Strategies for Low-Code Development Platforms23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Oct 2020, Montreal (Virtually), Canada. ⟨10.1145/3417990.3420206⟩ |
|
|
A workflow scheduling deadline-based heuristic for energy optimization in CloudGreenCom 2019 : 15th IEEE International Conference on Green Computing and Communications, Jul 2019, Atlanta, United States. pp.1-10, ⟨10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00135⟩ |
|
|
Integrated Model-checking for the Design of Safe and Efficient Distributed Software CommissioningIFM 2019 : 15th International Conference on integrated Formal Methods, Dec 2019, Bergen, Norway. pp.120--137, ⟨10.1007/978-3-030-34968-4_7⟩ |
|
|
Automatic Energy Efficient HPC Programming: A Case StudyISPA 2018 : 16th IEEE International Symposium on Parallel and Distributed Processing with Applications, Dec 2018, Melbourne, Australia. ⟨10.1109/BDCloud.2018.00145⟩ |
|
|
Virtual Machine Placement for Hybrid Cloud using Constraint Programming23rd International Conference on Parallel and Distributed Systems (ICPADS 2017), Dec 2017, Shenzhen, China. ⟨10.1109/ICPADS.2017.00051⟩ |
|
|
Interfaces comportementales pour la reconfiguration de modèles à composantsCompas 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8 |
|
|
Ordonnancement multi-objectifs de workflows dans un Cloud privéComPAS 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8 |
|
|
Madeus: A formal deployment model4PAD 2018 : 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (hosted at HPCS 2018), HPCS 2018 : International Conference on High Performance Computing & Simulation, Jul 2018, Orléans, France. pp.1-8, ⟨10.1109/HPCS.2018.00118⟩ |
|
|
Production Deployment Tools for IaaSes: an Overall Model and SurveyThe IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud), Aug 2017, Prague, Czech Republic. pp.183-190, ⟨10.1109/FiCloud.2017.51⟩ |
|
|
Combining Both a Component Model and a Task-based Model for HPC Applications: a Feasibility Study on GYSELA17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid)., May 2017, Madrid, Spain. ⟨10.1109/CCGRID.2017.88⟩ |
|
|
Reconsidering the Relationship between Cloud Computing and Cloud ManufacturingSOHOMA 2017 : Service Orientation in Holonic and Multi-Agent Manufacturing, Oct 2017, Nantes, France. pp.217-228, ⟨10.1007/978-3-319-73751-5_16⟩ |
|
|
From DSL to HPC Component-Based Runtime: A Multi-Stencil DSL Case StudyWOLFHPC 2015 (Fifth International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing), Nov 2015, co-located with SC'15, Austin, Texas, United States. pp.10, ⟨10.1145/2830018.2830020⟩ |
|
|
Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGISInternational Conference on Computational Science, 2014, Oudonc, France. pp.102 - 112, ⟨10.1016/j.procs.2014.05.010⟩ |
Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGISICCS 2014, Jun 2014, Cairns, Australia |
|
Implementation and Performance Analysis of SkelGIS for Network Mesh-Based SimulationsEuro-Par 2014, Aug 2014, Porto, Portugal. pp.439--450, ⟨10.1007/978-3-319-09873-9_37⟩ |
|
Performances de la Librairie de Squelettes Algorithmiques SkelGISComPAS 2013, Jan 2013, Grenoble, France |
|
Algorithmic skeleton library for scientific simulations : SkelGISHPCS 2013, Jul 2013, Helsinki, Finland. pp.429 |
|
|
|
Parallelization of Shallow-Water Equations with the Algorithmic Skeleton Library SkelGISICCS, Jun 2013, Barcelone, Spain. pp.591-600, ⟨10.1016/j.procs.2013.05.223⟩ |
Une librairie de squelettes algorithmiques par blocs sur structure de données 2DCIEL 2012, Jun 2012, Rennes, France |
|
A simple framework to generate parallel application for geospatial processing.COM.Geo 2010, 2010, Washington, United States. http://doi.acm.org/10.1145/1823854.1823891 |
|
|
Enhancing Separation of Concerns, Parallelism, and Formalism in Distributed Software Deployment with Madeus2020 |
|
|
Logiciel et Industrie du FuturHélène Coullon. Presse des Mines, pp.62, 2019, Mathématiques et Informatique, 9782356715760 |
|
|
The Multi-Stencil Language: orchestrating stencils with a mesh-agnostic DSL[Research Report] RR-8962, Inria - Research Centre Grenoble – Rhône-Alpes. 2016, pp.30 |
Feasibility Study of a Runtime Component-based Model Integrating Task Graph Concept on a 1D Advection Case Study[Contract] Inria. 2016, pp.21 |
Comparison and Validation of Two Parallelization Approaches of FullSWOF_2D Software on a Real CaseAdvances in Hydroinformatics - SimHydro 2014, pp.12, 2015, ⟨10.1007/978-981-287-615-7_27⟩ |
|
|
Modélisation et implémentation de parallélisme implicite pour les simulations scientifiques basées sur des maillagesOrdinateur et société [cs.CY]. Université d'Orléans, 2014. Français. ⟨NNT : 2014ORLE2029⟩ |