Open Positions

PhD Thesis: Domain-Specific Debugging Application to High Performance Computing

A Domain-Specific Language (DSL) is a software language specialized to a particular application domain, usually small and intuitive enough to be used directly by domain experts using the vocabulary of the problem space. Generative approaches then bridge the gap to a particular solution space, providing a clear separation of the problem definition, from its translation to a particular execution platform. Domains in which DSLs have been developed and used include (smart) cyber-physical systems, data science, and high performance computing.

PhD Thesis: Refining language relationships from execution traces for optimized co-simulation

Context La simulation de modèles à l’échelle du système exige la coordination des modèles physiques avec les modèles logiciels. Ces modèles sont développés et maintenus par différentes acteurs ayant chacun leurs propres préoccupations et leurs propres objectifs de modélisation, par exemple les ingénieurs physiciens, les ingénieurs en contrôle-commande et les ingénieurs logiciels. Chaque modèle est généralement construit sur des fondations, des modèles mathématiques hétérogènes: modèles 3D à éléments finis avec équations aux dérivées partielles, modèles exprimés par des équations différentielles et algébriques, ou directement sous forme de code C intégrant à la fois les équations différentielles et leur schéma de discrétisation.

PhD Thesis: Towards unpredictable languages!

Context It used to be that people used computers for computations where there was a single, hard, logical right answer. There are many evidences that it will not be the case anymore in the future in various application domains. Instead, modern software-intensive systems are more and more reactive to open and dynamic environments (e.g. smart cyber-physical systems and Internet of things), and are consequently more inclined to trade between accuracy and performance when good enough is better (than nothing!