Alif Ahmed

According to our database, Alif Ahmed authored at least 14 papers between 2017 and 2022.

Collaborative distances:

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

2022

GraphTango: A Hybrid Representation Format for Efficient Streaming Graph Updates and Analysis.

Alif Ahmed, Farzana Ahmed Siddique, Kevin Skadron

CoRR, 2022

Pulley: An Algorithm/Hardware Co-Optimization for In-Memory Sorting.

Marzieh Lenjani, Alif Ahmed, Kevin Skadron

IEEE Comput. Archit. Lett., 2022

Gearbox: a case for supporting accumulation dispatching and hybrid partitioning in PIM-based accelerators.

Marzieh Lenjani, Alif Ahmed, Mircea Stan, Kevin Skadron

Proceedings of the ISCA '22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18, 2022

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

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

BigMap: Future-proofing Fuzzers with Efficient Large Maps.

Alif Ahmed, Jason D. Hiser, Anh Nguyen-Tuong, Jack W. Davidson, Kevin Skadron

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2019

Efficient Cache Reconfiguration Using Machine Learning in NoC-Based Many-Core CMPs.

Subodha Charles, Alif Ahmed, Ümit Y. Ogras, Prabhat Mishra

ACM Trans. Design Autom. Electr. Syst., 2019

Cache Reconfiguration Using Machine Learning for Vulnerability-aware Energy Optimization.

Alif Ahmed, Yuanwen Huang, Prabhat Mishra

ACM Trans. Embed. Comput. Syst., 2019

Hopscotch: a micro-benchmark suite for memory performance evaluation.

Alif Ahmed, Kevin Skadron

Proceedings of the International Symposium on Memory Systems, 2019

Automated Activation of Multiple Targets in RTL Models using Concolic Testing.

Yangdi Lyu, Alif Ahmed, Prabhat Mishra

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Security and Trust Verification of IoT SoCs.

Alif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra

Proceedings of the Security and Fault Tolerance in Internet of Things, 2019

2018

Hardware Trojan Detection Using ATPG and Model Checking.

Jonathan Cruz, Farimah Farahmandi, Alif Ahmed, Prabhat Mishra

Proceedings of the 31st International Conference on VLSI Design and 17th International Conference on Embedded Systems, 2018

Scalable Hardware Trojan Activation by Interleaving Concrete Simulation and Symbolic Execution.

Alif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra

Proceedings of the IEEE International Test Conference, 2018

Directed test generation using concolic testing on RTL models.

Alif Ahmed, Farimah Farahmandi, Prabhat Mishra

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

QUEBS: Qualifying Event Based Search in Concolic Testing for Validation of RTL Models.

Alif Ahmed, Prabhat Mishra

Proceedings of the 2017 IEEE International Conference on Computer Design, 2017