| 2022 | DATE | 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 |
| 2022 | ISCA | Gearbox: a case for supporting accumulation dispatching and hybrid partitioning in PIM-based accelerators. | Marzieh Lenjani, Alif Ahmed, Mircea Stan, Kevin Skadron |
| 2021 | DSN | BigMap: Future-proofing Fuzzers with Efficient Large Maps. | Alif Ahmed, Jason D. Hiser, Anh Nguyen-Tuong, Jack W. Davidson, Kevin Skadron |
| 2019 | DATE | Automated Activation of Multiple Targets in RTL Models using Concolic Testing. | Yangdi Lyu, Alif Ahmed, Prabhat Mishra |
| 2018 | DATE | Directed test generation using concolic testing on RTL models. | Alif Ahmed, Farimah Farahmandi, Prabhat Mishra |
| 2018 | ITC | Scalable Hardware Trojan Activation by Interleaving Concrete Simulation and Symbolic Execution. | Alif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra |
| 2018 | VLSID | Hardware Trojan Detection Using ATPG and Model Checking. | Jonathan Cruz, Farimah Farahmandi, Alif Ahmed, Prabhat Mishra |
| 2017 | ICCD | QUEBS: Qualifying Event Based Search in Concolic Testing for Validation of RTL Models. | Alif Ahmed, Prabhat Mishra |