![Dorra Ben Khalifa](https://pldi24.sigplan.org/getProfileImage/dorrabenkhalifa/974e0510-9005-4578-baeb-277e0f251a18/small.jpg?1720987562000)
Registered user since Fri 22 Apr 2022
Name:Dorra Ben Khalifa
Country:France
Affiliation:University of Toulouse - ENAC
Personal website: https://dbenkhal.github.io/
X (Twitter): https://x.com/dbenkhal
GitHub: https://github.com/dbenkhal
Research interests:Computer Arithmetic, Static Analysis, Abstract Interpretation, Software Engineering, , Programming Languages,
Contributions
PLDI 2024-profile
View general profile
View general profile