Reverse Engineering Register to Variable Mapping in High-level Synthesis. - Mohammed Abderehman; Rupak Gupta; Chandan Karfa (ISVLSI, 2021)

DEEQ: Data-driven End-to-End EQuivalence Checking of High-level Synthesis. - Mohammed Abderehman; Theegala Rakesh Reddy; Chandan Karfa (ISQED, 2022)

BLAST: Belling the Black-Hat High-Level Synthesis Tool. - Mohammed Abderehman; Rupak Gupta; Theegala Rakesh Reddy; Chandan Karfa (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

FastSim: A Fast Simulation Framework for High-Level Synthesis. - Mohammed Abderehman; Jayprakash Patidar; Jay H. Oza; Yom Nigam; T. M. Abdul Khader; Chandan Karfa (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)