Sapper - Synthétisation d’analyses de performance spécifiques d’application

Coordinateur : Guillermo POLITO Centre INRIA de l’Université de Lille CRIStAL

Équipe : RMoD du Groupe Thématique : GL.

Dates : 10/23 - 02/28

Résumé :

Dans Sapper, nous proposons une approche holistique pour réduire le coût du benchmarking. Nous étudierons comment construire des programmes de référence pertinents, reproductibles et interprétables. Nous automatiserons la génération, la sélection, l’exécution et l’interprétation des benchmarks en réunissant les connaissances fondamentales, pratiques et empiriques de l’implémentation des langages de programmation, du génie logiciel et des statistiques.

Abstract

In Sapper we propose a holistic approach to reduce the cost of benchmarking. Namely, we will study how to build relevant, reproducible, and interpretable benchmark programs. We will automate the generation, selection, execution and interpretation of benchmarks by reuniting fundamental, practical, and empirical knowledge from programming language implementation, software engineering, and statistics.