QUEBS: Qualifying Event Based Search in Concolic Testing for Validation of RTL Models. - Alif Ahmed; Prabhat Mishra 001 (ICCD, 2017)

Directed test generation using concolic testing on RTL models. - Alif Ahmed; Farimah Farahmandi; Prabhat Mishra 001 (DATE, 2018)

Scalable Hardware Trojan Activation by Interleaving Concrete Simulation and Symbolic Execution. - Alif Ahmed; Farimah Farahmandi; Yousef Iskander; Prabhat Mishra 001 (ITC, 2018)

Hardware Trojan Detection Using ATPG and Model Checking. - Jonathan Cruz 001; Farimah Farahmandi; Alif Ahmed; Prabhat Mishra 001 (VLSID, 2018)

Security and Trust Verification of IoT SoCs. - Alif Ahmed; Farimah Farahmandi; Yousef Iskander; Prabhat Mishra 001 (Security and Fault Tolerance in Internet of Things, 2019)

Automated Activation of Multiple Targets in RTL Models using Concolic Testing. - Yangdi Lyu; Alif Ahmed; Prabhat Mishra 001 (DATE, 2019)

Hopscotch: a micro-benchmark suite for memory performance evaluation. - Alif Ahmed; Kevin Skadron (MEMSYS, 2019)

Cache Reconfiguration Using Machine Learning for Vulnerability-aware Energy Optimization. - Alif Ahmed; Yuanwen Huang; Prabhat Mishra 001 (ACM Trans. Embed. Comput. Syst., 2019)

Efficient Cache Reconfiguration Using Machine Learning in NoC-Based Many-Core CMPs. - Subodha Charles; Alif Ahmed; Ümit Y. Ogras; Prabhat Mishra 001 (ACM Trans. Design Autom. Electr. Syst., 2019)

BigMap: Future-proofing Fuzzers with Efficient Large Maps. - Alif Ahmed; Jason D. Hiser; Anh Nguyen-Tuong; Jack W. Davidson; Kevin Skadron (DSN, 2021)

PiMulator: a Fast and Flexible Processing-in-Memory Emulation Platform. - Sergiu Mosanu; Mohammad Nazmus Sakib; Tommy Tracy II; Ersin Cukurtas; Alif Ahmed; Preslav Ivanov; Samira Manabi Khan; Kevin Skadron; Mircea Stan (DATE, 2022)

Gearbox: a case for supporting accumulation dispatching and hybrid partitioning in PIM-based accelerators. - Marzieh Lenjani; Alif Ahmed; Mircea Stan; Kevin Skadron (ISCA, 2022)

Pulley: An Algorithm/Hardware Co-Optimization for In-Memory Sorting. - Marzieh Lenjani; Alif Ahmed; Kevin Skadron (IEEE Comput. Archit. Lett., 2022)

Architectural Modeling and Benchmarking for Digital DRAM PIM. - Farzana Ahmed Siddique; Deyuan Guo; Zhenxing Fan; MohammadHosein Gholamrezaei; Morteza Baradaran; Alif Ahmed; Hugo Abbot; Kyle Durrer; Kumaresh Nandagopal; Ethan Ermovick; Khyati Kiyawat; Beenish Gul; et al. (IISWC, 2024)

GraphTango: A Hybrid Representation Format for Efficient Streaming Graph Updates and Analysis. - Alif Ahmed; Farzana Ahmed Siddique; Kevin Skadron (Int. J. Parallel Program., 2024)

Design and Analysis of a Grid-connected DC Fast Charging Station for Dhaka-Chittagong Highway. - Alif Ahmed; Minhajur Rahman; Mohammad Jawad Chowdhury; Khandakar Abdulla-Al-Mamun (CoRR, 2025)