Fachgebiet Entwurf Informationstechnischer Systeme (EIS)

Ammar Ben Khadra

Building/room: 12-545

Tel:  (+49) (631) 205-2848
Fax: (+49) (631) 205-4782

E-mail  Blog    Linkedin   Github    DBLP

I was a PhD candidate with the Electronic Design Automation group at University of Kaiserslautern. I hold an M.Sc. degree (with distinction) from European Masters in Embedded Computing Systems. I am broadly interested in software analysis and optimization. Specifically, my current research focuses on automated analysis and verification techniques for software at the binary level. 

Publications

► M. A. Ben Khadra, “Techniques for Efficient Binary-Level Coverage Analysis,” Doctoral dissertation, Department of Electrical and Electronic Engineering, University of Kaiserslautern, 2021. (submitted)
► M. A. Ben Khadra, D. Stoffel, and W. Kunz, “Efficient Binary-Level Coverage Analysis,” in Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020), 2020. [pdf] [talk]
► M. A. Ben Khadra, “An introduction to approximate computing,” preprint arXiv:1711.06115, 2017. [pdf]
► M. A. Ben Khadra, “E3Solver: decision tree unification by enumeration,” in 6th Workshop on Synthesis (SYNT'17), 2017. [pdf][slides] (Competition Contribution)
► M. A. Ben Khadra, D. Stoffel, and W. Kunz, “goSAT: Floating-point Satisfiability as Global Optimization,” in Formal Methods in Computer-Aided Design (FMCAD'17), 2017. [pdf] [talk]
► M. A. Ben Khadra, D. Stoffel, and W. Kunz, “Speculative Disassembly of Binary Code,” in 20. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV’17), 2017. (Abstract)
► M. A. Ben Khadra, D. Stoffel, and W. Kunz, “Speculative disassembly of binary code,” in International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES’16), 2016.[doi]
► M. A. Ben khadra, D. Stoffel, and W. Kunz, “Approximate Computing: Facing the control flow,” in ESWEEK Workshop on Approximate Computing, 2016. (Poster)
► M. A. Ben khadra , Y. Bai, and K. Schneider, “Synthesis of Distributed Synchronous Specifications to SysteMoC,” in 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV’14), 2014, pp. 71–81. [pdf]
► M. A. Ben Khadra , Y. Bai, and K. Schneider, “High Level Modeling of Elastic Circuits in SystemC,” in Proceedings of SpringSim’14 Symposium on Theory of Modeling and Simulation (TMS/DEVS), 2014, pp. 171–178. [pdf]
► M. A. Ben Khadra , “A Model-Based Approach to Synchronous Elastic Systems,” Masters thesis, University of Kaiserslautern, 2013. [pdf]

Thesis topics

We offer a lot of exciting topics, both for masters and bachelor thesis, in our active research area. If you like the algorithmic side of things and want to hack some code, then we should meet. 

Zum Seitenanfang