Accelerating HotSpots in Deep Neural Networks on a CAPI-Based FPGA. - Md Syadus Sefat; Semih Aslan; Jeffrey W. Kellington; Apan Qasem (HPCC/SmartCity/DSS, 2019)

Ensemble Training with Classifiers Selection Mechanism. - Md Syadus Sefat; Md Shahjahan; Mahbubur Rahman 006; Damian Valles (UEMCON, 2021)

On Extending Incorrectness Logic with Backwards Reasoning. - Freek Verbeek; Md Syadus Sefat; Zhoulai Fu; Binoy Ravindran (Proc. ACM Program. Lang., 2025)

On Improving Backwards Reasoning with Symbolic Execution: Integrating Loop Summarization, Alias Analysis, and Compositional Summarization. - Md Syadus Sefat (2025)