Associate Professor in Computer Science at ENAC
Joined October 2021
- Tweets73
- Following158
- Followers46
- Likes131
Pinned Tweet
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
Dorra BEN KHALIFA retweeted
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/
Dorra BEN KHALIFA retweeted
Excited to start the Heidelberg boat tour with #hlf24 and these nice ladies
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 – at Heidelberg, Germany
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
Dorra BEN KHALIFA retweeted
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/
A few photos taken at today's LCTES 2024 conference in Copenhagen
@PLDI – at Copenhagen, Denmark
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.1145/3…
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
Dorra BEN KHALIFA retweeted
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/
Dorra BEN KHALIFA retweeted
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 ! – at Ischia, Campania
