A compiler transformation to improve memory access time in SIMD systems. - Mayez A. Al-Mouhamed; Lubomir F. Bic; Husam Abu-Haimed (IEEE PACT, 1996)

A compiler address transformation for conflict-free access of memories and networks. - Mayez Al-Mouhamed; Lubomir Bic; Husam Abu-Haimed (SPDP, 1996)

Evaluation of Neural and Genetic Algorithms for Synthesizing Parallel Storage Schemes. - Mayez A. Al-Mouhamed; Husam Abu-Haimed (Int. J. Parallel Program., 2001)

Strengthening Invariants by Symbolic Consistency Testing. - Husam Abu-Haimed; Sergey Berezin; David L. Dill (CAV, 2003)

Semi-formal Verification of Memory Systems by Symbolic Simulation. - Husam Abu-Haimed; Sergey Berezin; David L. Dill (CHARME, 2003)

A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification. - Husam Abu-Haimed; David L. Dill; Sergey Berezin (FMCAD, 2006)

Dominant Controllability Check Using QBF-Solver and Netlist Optimizer. - Tamir Heyman; Dan Smith; Yogesh Mahajan; Lance Leong; Husam Abu-Haimed (SAT, 2014)

A Hybrid GPU + FPGA System Design for Autonomous Driving Cars. - Cong Hao; Junli Gu; Deming Chen; Atif Sarwari; Zhijie Jin; Husam Abu-Haimed; Daryl Sew; Yuhong Li; Xinheng Liu; Bryan Wu; Dongdong Fu (SiPS, 2019)

Learning Object-specific Distance from a Monocular Image. - Jing Zhu 002; Yi Fang 006; Husam Abu-Haimed; Kuo-Chin Lien; Dongdong Fu; Junli Gu (CoRR, 2019)