Dorra Ben Khalifa

Papers

Total Citations

H-Index

About

Dorra Ben Khalifa is a researcher specializing in embedded systems and code synthesis, with a particular focus on fixed-point arithmetic optimization. Her most cited work, "Fixed-Point Code Synthesis Based on Constraint Generation" (2022), addresses a critical challenge in digital signal processing and embedded computing: automating the conversion of floating-point algorithms to efficient fixed-point implementations. By introducing a constraint generation framework, Ben Khalifa enables developers to systematically balance precision, performance, and resource usage—a key requirement for power-constrained devices like IoT sensors and mobile processors. Though her publication record is early-stage, her contributions are already cited in related work on automated code generation and numerical accuracy analysis. Her research bridges formal methods and practical hardware design, offering tools that reduce manual tuning while ensuring correctness. As the demand for energy-efficient computing grows, Ben Khalifa’s work on fixed-point synthesis positions her as an emerging voice in the intersection of compiler design and embedded system optimization. Her approach promises to streamline development for engineers working on real-time systems, from audio processing to automotive control.