معرفی
Dorra Ben Khalifa is a researcher affiliated with ENAC (École Nationale de l'Aviation Civile) in Toulouse, France. Her academic work focuses on computer arithmetic, static analysis, and software engineering in the context of programming languages.
Research Interests:
- Computer Arithmetic
- Static Analysis
- Abstract Interpretation
- Software Engineering
- Programming Languages
Recent contributions include work on fixed-point neural network optimization and bit-level precision tuning, reflecting her interest in low-level computational efficiency. She actively participates in academic committees such as the OOPSLA Review Committee and artifact evaluation panels at major conferences like PLDI and SAS.
۰مقاله منتشرشده
