Dorra BEN KHALIFA

Associate Professor in Computer Science at ENAC

[Dorra BEN KHALIFA @dbenkhal]

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
https://t.co/Z5se6Yuqfz

[Samuel Pollard @samdpollard]

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

https://t.co/BEdwOsJTwn

[Yasmeen Abdrabou, PhD @AbdrabouYasmeen]

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

[Dorra BEN KHALIFA @dbenkhal]

Speyer Museum of Technology in Heidelberg 🇩🇪
@HLForum

[Dorra BEN KHALIFA @dbenkhal]

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

[Dorra BEN KHALIFA @dbenkhal]

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

[Dorra BEN KHALIFA @dbenkhal]

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

[Dorra BEN KHALIFA @dbenkhal]

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

[Pavel Panchekha @pavpanchekha]

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:
https://t.co/6mzNi33olM

[Dorra BEN KHALIFA @dbenkhal]

Attending CoDiT'24 in Valletta, Malta
https://t.co/NacYWmo5vS

[Dorra BEN KHALIFA @dbenkhal]

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

[Dorra BEN KHALIFA @dbenkhal]

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 : https://t.co/cyUdZzSGn1

[Dorra BEN KHALIFA @dbenkhal]

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

[Dorra BEN KHALIFA @dbenkhal]

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

[Dorra BEN KHALIFA @dbenkhal]

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: https://t.co/Z5se6Yuqfz

[Dorra BEN KHALIFA @dbenkhal]

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 : https://t.co/Z5se6Yuqfz

[Dorra BEN KHALIFA @dbenkhal]

Today is the first day of the EJCP . 29 PhD students are with us in this edition https://t.co/Z5se6Yuqfz.
The first class is on Measuring energy consumption: from hardware to software source code by @adelnoureddine
@mmartel66 @GdrGPL

[Zachary Tatlock @ztatlock]

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: https://t.co/2El3BOEtMR

[Laure Gonnord @l_gonnord]

Un petit rappel, l'EJCP24 vous attend, chères et chers jeunes chercheuses et chercheurs en informatique du logiciel ! https://t.co/hP8gTKK493

[Dorra BEN KHALIFA @dbenkhal]

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

[Dorra BEN KHALIFA @dbenkhal]

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)