• Sign in
  • Sign up
conf.researchr.org / Dorra Ben Khalifa
  • ECOOP and ISSTA 2023 profile
  • ICFP/SPLASH 2025 profile
  • PLDI 2023 profile
  • PLDI 2024 profile
  • PLDI 2025 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
Dorra Ben Khalifa

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

2025

SPLASH

  • Committee Member in OOPSLA Review Committee within the OOPSLA-track

SOAP

  • Author of Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers within the State Of the Art in Program Analysis-track

2024

LCTES

  • Author of Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures within the LCTES-track

PLDI

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2023

Static Analysis Symposium

  • Committee Member in Artifact Evaluation Committee within the SAS 2023 Artifacts-track

ECOOP

  • Committee Member in Artifact Evaluation Committee within the Artifacts-track
  • Committee Member in Extended Review Committee and External Reviewers within the Research Papers-track

PLDI

  • Committee Member in SRC Reviewers within the SRC-track

2022

Static Analysis Symposium

  • Committee Member in Artifact Evaluation Committee within the SAS 2022 Artifacts-track

2021

Static Analysis Symposium

  • Author of Fast and Efficient Bit-Level Precision Tuning within the SAS-track
Share
xSat 14 Jun 09:27
using conf.researchr.org (v1.69.0)
Support page
Sign Up