M. Ammar Ben Khadra

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 7

Top Topics

Global Optimization

Floating Point Arithmetic

Decision Tree Construction

Top Venues

ESEC/SIGSOFT FSE

Publications

M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz
Efficient binary-level coverage analysis. ESEC/SIGSOFT FSE (2020)
M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz
Efficient Binary-Level Coverage Analysis. CoRR (2020)
M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz
goSAT: Floating-point satisfiability as global optimization. FMCAD (2017)
M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz
Speculative disassembly of binary code. MBMV (2017)
M. Ammar Ben Khadra
An introduction to approximate computing. CoRR (2017)
M. Ammar Ben Khadra
E3Solver: decision tree unification by enumeration. CoRR (2017)
M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz
Speculative disassembly of binary code. CASES (2016)