Login / Signup
Alif Ahmed
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 14
Top Topics
Benchmark Suite
Optimization Approaches
Computing Power
Test Generation
Top Venues
DATE
ACM Trans. Embed. Comput. Syst.
CoRR
MEMSYS
</>
Publications
</>
Alif Ahmed
,
Farzana Ahmed Siddique
,
Kevin Skadron
GraphTango: A Hybrid Representation Format for Efficient Streaming Graph Updates and Analysis.
Int. J. Parallel Program.
52 (3) (2024)
Marzieh Lenjani
,
Alif Ahmed
,
Kevin Skadron
Pulley: An Algorithm/Hardware Co-Optimization for In-Memory Sorting.
IEEE Comput. Archit. Lett.
21 (2) (2022)
Marzieh Lenjani
,
Alif Ahmed
,
Mircea Stan
,
Kevin Skadron
Gearbox: a case for supporting accumulation dispatching and hybrid partitioning in PIM-based accelerators.
ISCA
(2022)
Alif Ahmed
,
Farzana Ahmed Siddique
,
Kevin Skadron
GraphTango: A Hybrid Representation Format for Efficient Streaming Graph Updates and Analysis.
CoRR
(2022)
Sergiu Mosanu
,
Mohammad Nazmus Sakib
,
Tommy Tracy II
,
Ersin Cukurtas
,
Alif Ahmed
,
Preslav Ivanov
,
Samira Khan
,
Kevin Skadron
,
Mircea Stan
PiMulator: a Fast and Flexible Processing-in-Memory Emulation Platform.
DATE
(2022)
Alif Ahmed
,
Jason D. Hiser
,
Anh Nguyen-Tuong
,
Jack W. Davidson
,
Kevin Skadron
BigMap: Future-proofing Fuzzers with Efficient Large Maps.
DSN
(2021)
Alif Ahmed
,
Kevin Skadron
Hopscotch: a micro-benchmark suite for memory performance evaluation.
MEMSYS
(2019)
Yangdi Lyu
,
Alif Ahmed
,
Prabhat Mishra
Automated Activation of Multiple Targets in RTL Models using Concolic Testing.
DATE
(2019)
Subodha Charles
,
Alif Ahmed
,
Ümit Y. Ogras
,
Prabhat Mishra
Efficient Cache Reconfiguration Using Machine Learning in NoC-Based Many-Core CMPs.
ACM Trans. Design Autom. Electr. Syst.
24 (6) (2019)
Alif Ahmed
,
Yuanwen Huang
,
Prabhat Mishra
Cache Reconfiguration Using Machine Learning for Vulnerability-aware Energy Optimization.
ACM Trans. Embed. Comput. Syst.
18 (2) (2019)
Jonathan Cruz
,
Farimah Farahmandi
,
Alif Ahmed
,
Prabhat Mishra
Hardware Trojan Detection Using ATPG and Model Checking.
VLSI Design
(2018)
Alif Ahmed
,
Farimah Farahmandi
,
Yousef Iskander
,
Prabhat Mishra
Scalable Hardware Trojan Activation by Interleaving Concrete Simulation and Symbolic Execution.
ITC
(2018)
Alif Ahmed
,
Farimah Farahmandi
,
Prabhat Mishra
Directed test generation using concolic testing on RTL models.
DATE
(2018)
Alif Ahmed
,
Prabhat Mishra
QUEBS: Qualifying Event Based Search in Concolic Testing for Validation of RTL Models.
ICCD
(2017)