Md Syadus Sefat

According to our database, Md Syadus Sefat authored at least 4 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

On Improving Backwards Reasoning with Symbolic Execution: Integrating Loop Summarization, Alias Analysis, and Compositional Summarization.

Md Syadus Sefat

PhD thesis, 2025

On Extending Incorrectness Logic with Backwards Reasoning.

Freek Verbeek, Md Syadus Sefat, Zhoulai Fu, Binoy Ravindran

Proc. ACM Program. Lang., 2025

2021

Ensemble Training with Classifiers Selection Mechanism.

Md Syadus Sefat, Md Shahjahan, Mahbubur Rahman, Damian Valles

Proceedings of the 12th IEEE Annual Ubiquitous Computing, 2021

2019

Accelerating HotSpots in Deep Neural Networks on a CAPI-Based FPGA.

Md Syadus Sefat, Semih Aslan, Jeffrey W. Kellington, Apan Qasem

Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019