Seguir
Alif Ahmed
Alif Ahmed
Email confirmado em virginia.edu
Título
Citado por
Citado por
Ano
Hardware Trojan detection using ATPG and model checking
J Cruz, F Farahmandi, A Ahmed, P Mishra
2018 31st international conference on VLSI design and 2018 17th …, 2018
802018
Scalable hardware trojan activation by interleaving concrete simulation and symbolic execution
A Ahmed, F Farahmandi, Y Iskander, P Mishra
2018 IEEE International Test Conference (ITC), 1-10, 2018
552018
Directed test generation using concolic testing on RTL models
A Ahmed, F Farahmandi, P Mishra
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018
482018
QUEBS: Qualifying event based search in concolic testing for validation of RTL models
A Ahmed, P Mishra
2017 IEEE International Conference on Computer Design (ICCD), 185-192, 2017
292017
Automated activation of multiple targets in RTL models using concolic testing
Y Lyu, A Ahmed, P Mishra
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 354-359, 2019
252019
Efficient cache reconfiguration using machine learning in NoC-based many-core CMPs
S Charles, A Ahmed, UY Ogras, P Mishra
ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (6 …, 2019
232019
Cache reconfiguration using machine learning for vulnerability-aware energy optimization
A Ahmed, Y Huang, P Mishra
ACM Transactions on Embedded Computing Systems (TECS) 18 (2), 1-24, 2019
192019
Hopscotch: a micro-benchmark suite for memory performance evaluation
A Ahmed, K Skadron
Proceedings of the International Symposium on Memory Systems, 167-172, 2019
172019
Automated activation of multiple targets in RTL models using concolic testing, in 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)
Y Lyu, A Ahmed, P Mishra
IEEE, Florence, Italy, 354-359, 2019
102019
Gearbox: A case for supporting accumulation dispatching and hybrid partitioning in PIM-based accelerators
M Lenjani, A Ahmed, M Stan, K Skadron
Proceedings of the 49th Annual International Symposium on Computer …, 2022
92022
PiMulator: A fast and flexible processing-in-memory emulation platform
S Mosanu, MN Sakib, T Tracy, E Cukurtas, A Ahmed, P Ivanov, S Khan, ...
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2022
82022
A 200PS differential CMOS delay element for 10 GHz ultra wideband wireless receivers
A Ahmed, SMS Rashid, A Rashid
2012 7th International Conference on Electrical and Computer Engineering …, 2012
42012
BigMap: Future Proofing Fuzzers with Efficient Large Maps
A Ahmed, J Hiser D, A Nguyen, J Davidson, K Skadron
International Conference on Dependable Systems and Networks (DSN), 2021
22021
Security and Trust Verification of IoT SoCs
A Ahmed, F Farahmandi, Y Iskander, P Mishra
Security and Fault Tolerance in Internet of Things, 1-19, 2019
22019
GraphTango: A Hybrid Representation Format for Efficient Streaming Graph Updates and Analysis
A Ahmed, FA Siddique, K Skadron
arXiv preprint arXiv:2212.11935, 2022
12022
Pulley: An Algorithm/Hardware Co-Optimization for In-Memory Sorting
M Lenjani, A Ahmed, K Skadron
IEEE Computer Architecture Letters 21 (2), 109-112, 2022
12022
Device and method for controlling data request
SB Lee, A Ahmed, J Kim, K Soon-Wan
US Patent 10,990,444, 2021
12021
Fine grained shadow workload generation preserving memory access patterns
A Ahmed
1
Post-Silicon Signal Selection Using Machine Learning
A Ahmed, K Rahmani, P Mishra
Post-Silicon Validation and Debug, 87-107, 2019
2019
ProxyVM: A Scalable and Retargetable Compiler Framework for Privacy-Aware Proxy Workload Generation
X Ren, A Ahmed, Y Wei, K Skadron, A Venkat
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20