Dorra BEN KHALIFA

Ecole Jeunes Chercheurs(ses) en Programmation - EJCP 2024, @GdrGPL will take place in Argelès-sur-Mer (Pyrénées-Orientales) from 17 to 21 June 2024. Registration will open soon! @mmartel66 gpl-ejcp.github.io/ejcp2024

Doing research on verification of scientific software? Consider submitting to the aptly-named workshop on Verification of Scientific Software, deadline Feb 1st. Relevant topics include specification and verification of GPU code and case studies on FM vsl.cis.udel.edu/vss2025/

Excited to start the Heidelberg boat tour with #hlf24 and these nice ladies

Speyer Museum of Technology in Heidelberg 🇩🇪 @HLForum

A lightning talk by the 2021 ACM A.M. Turing Award Jack J. Dongarra on "Today's HPC Environment for Scientific Computing" @HLForum

Very proud and excited to attend the 11th Heidelberg Laureate Forum. An amazing week on the way... @HLForum

Friday was the last day of the “ice breaking” project with the IATSED24 class. This project, which aims to develop drones from A to Z right through to flight, is part of the first week of the IATSED master's program. @Enac_iiLab

It's back to classes this week for the #IATSED24 promotion, with the week-long Ice breaking project. In this project, students will develop drones from scratch to flight. It's our second day and things are progressing well between the groups. @enacfrance @Enac_iiLab

Thursday is FPTalks 2024, the annual workshop on numerics. This year we have some exciting talks on quantization as well as great talks on bread and butter topics like verification, hardware, tools, and applications. There's still time to register: fpbench.org/talks/

Attending CoDiT'24 in Valletta, Malta codit2024.com

A few photos taken at today's LCTES 2024 conference in Copenhagen @PLDI

Tomorrow I will present with @mmartel66 our paper "Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures" at the LCTES conference in Copenhague. The paper is available here : dl.acm.org/doi/abs/10.114…

Day 5 of the EJCP: Tim Bourke, Researcher at Inria in the PARKAS team, on compiling a synchronous language with resource constraints. @mmartel66

Day 4 of the EJCP: Emmanuelle Saillard, research scientist (CRCN) at Inria of the university of Bordeaux, on static and dynamic analysis of HPC applications. @mmartel66

Day 3 of the EJCP : Caterina Urban, research scientist at INRIA research team, with a class on "Formal Methods for Machine Learning Pipelines". @caterinaurban @mmartel66 Check out our program for the rest of the week at: gpl-ejcp.github.io/ejcp2024

Day 2 of the EJCP : Martin Monperrus, Professor of Software Technology at KTH Royal Institute of Technology, with a class on Automated Program Repair @martinmonperrus @mmartel66 The program is here : gpl-ejcp.github.io/ejcp2024

Today is the first day of the EJCP . 29 PhD students are with us in this edition gpl-ejcp.github.io/ejcp2024. The first class is on Measuring energy consumption: from hardware to software source code by @adelnoureddine @mmartel66 @GdrGPL

Don't miss FPTalks 2024! Join us on July 11th for great talks on floating-point research. There's something for everybody: numerical representations, error analysis, verification, and hardware design! Register at: fpbench.org/talks/

Un petit rappel, l'EJCP24 vous attend, chères et chers jeunes chercheuses et chercheurs en informatique du logiciel ! gpl-ejcp.github.io/ejcp2024

My Participation in the 21st ACM International Conference on Computing Frontiers in Ischia. Thanks @CompFrontiers for the excellent organization !

Our paper " Rigorous Floating-Point to Fixed-Point Quantization of Deep Neural Networks on STM32 Micro-controllers" is accepted at CoDIT'24 ( IEEE 10th International Conference on Control, Decision and Information Technologies)