Programme

Semaine Lun. 20 Mar. 21 Mer. 22 Liste

	Lun. 20	Mar. 21	Mer. 22
09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00	Déjeuner 12:30 - 14:00 (1h30) Déjeuner CLAP 14:00 - 15:30 (1h30) CLAP Auditorium › La recherche en logiciel et le matériel open-source - Christian FABRE, CEA LIST 14:00-14:30 (30min) › Quels choix possibles dans les modèles d'exécution bas niveau ? - Henri-Pierre Charles, CEA 14:30-15:00 (30min) › Pervasive Portable Performance: quand est-ce qu'on arrive ? - Albert Cohen, Google 15:00-15:30 (30min) Pause café 15:30 - 16:00 (30min) Pause café HiFi 16:00 - 17:00 (1h) HiFi Auditorium › Mixer calculs et interactions sur un FPGA - Loïc Sylvestre, Algorithmes, Programmes et Résolution 16:00-16:30 (30min) › Une sémantique de la simulation de systèmes hybrides - Marc Pouzet, École normale supérieure 16:00-16:30 (30min) Brain-storming prospective 17:00 - 18:00 (1h) Brain-storming prospective Auditorium	CLAP 9:00 - 10:30 (1h30) CLAP Auditorium › Towards the formalisation of interactive properties - Cécile Marcon, Institut Supérieur de lÁéronautique et de lÉspace 09:00-09:30 (30min) › Tracabilité du processus de compilation - Bruno MATEU, IMT Atlantique 09:30-10:00 (30min) › SSA Translation Is an Abstract Interpretation - Matthieu Lemerre, CEA LIST 10:00-10:30 (30min) Pause café 10:30 - 11:00 (30min) Pause café CLAP 11:00 - 12:30 (1h30) CLAP Auditorium LVP › Spécification Formelle de Gated-SSA - Delphine Demange, Univ Rennes, Inria, CNRS, IRISA 11:00-11:30 (30min) › Preuve formelle d'un analyseur flot de données paramétré par un ordre d'itération - Roméo La Spina, Université de Rennes 1, LANGAGE ET GÉNIE LOGICIEL, Institut national de recherche en informatique et en automatique 11:30-12:00 (30min) › Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis - Quentin PEYRAS, LRE 12:00-12:30 (30min) Déjeuner 12:30 - 14:00 (1h30) Déjeuner LVP CLAP 14:00 - 15:30 (1h30) LVP Auditorium › Execution-time opacity problems in (parametric) timed automata - Dylan Marinho, Laboratoire Lorrain de Recherche en Informatique et ses Applications 14:00-14:30 (30min) › Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates - Thibaut Benjamin, Laboratoire Sûreté des Logiciels 14:30-15:00 (30min) › CAISAR: Caractérisation et vérification des propriétés de confiance d'IA - Michele Alberti, Laboratoire Sûreté des Logiciels 15:00-15:30 (30min) 14:00 - 15:30 (1h30) CLAP IMAG Salle séminaire 2 › MLIR - Mehdi Amini, LLVM/MLIR 14:00-14:30 (30min) › Optimisation d'opérations tensorielles sparse par compaction des nonzeros sur CPU - Valentin Trophime, Inria - Guillaume Iooss, Inria 14:30-15:00 (30min) › OpenXLA: a Modular Open-Source Compiler for ML workload - Mehdi Amini, LLVM/MLIR 15:00-15:30 (30min) Pause café 15:30 - 16:00 (30min) Pause café Auditorium HiFi 16:00 - 17:00 (1h) HiFi Auditorium › An Iterative Formal Model-Driven Approach to Railway Systems Validation - Asfand Yar, Laboratoire d'Informatique de Grenoble 16:00-16:30 (30min) › Correlating Test Events With Monitoring Logs For Test Log Reduction And Anomaly Prediction - Bahareh Afshinpour, Université Grenoble Alpes 16:30-17:00 (30min) Brain-storming prospective 17:00 - 18:00 (1h) Brain-storming prospective Auditorium	LVP 9:00 - 10:30 (1h30) LVP Auditorium › Enseignement de la vérification de systèmes réactifs paramétrés - Alain Giorgetti, Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) 09:00-09:30 (30min) › Définition d'un langage de description d'interface graphique formel - Nicolas Nalpon, epita 09:30-10:00 (30min) › Une sémantique des structures, unions et termes indéfinis pour la spécification formelle de C - Louis Gauthier, Laboratoire Sûreté des Logiciels 10:00-10:30 (30min) Pause café 10:30 - 11:00 (30min) Pause café LVP 11:00 - 12:30 (1h30) LVP Auditorium CLAP › Formally verified block optimizations by symbolic execution modulo invariants - Léo Gourdin, VERIMAG 11:00-11:30 (30min) › Interactive Source-to-source Code Optimization with OptiTrust - Thomas Koehler, Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie 11:30-12:00 (30min) › An AST for Representing Programs with Invariants and Proofs - Guillaume Bertholon, ICube, Inria Strasbourg - Arthur Charguéraud, ICube, Inria Strasbourg 12:00-12:30 (30min) Déjeuner 12:30 - 14:00 (1h30) Déjeuner

Personnes connectées : 2

Flux RSS | Vie privée