Alif Ahmed

Orcid: 0000-0002-4203-5012

According to our database1, Alif Ahmed authored at least 15 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
GraphTango: A Hybrid Representation Format for Efficient Streaming Graph Updates and Analysis.
Int. J. Parallel Program., June, 2024

Architectural Modeling and Benchmarking for Digital DRAM PIM.
Proceedings of the IEEE International Symposium on Workload Characterization, 2024

2022
Pulley: An Algorithm/Hardware Co-Optimization for In-Memory Sorting.
IEEE Comput. Archit. Lett., 2022

Gearbox: a case for supporting accumulation dispatching and hybrid partitioning in PIM-based accelerators.
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.
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021
BigMap: Future-proofing Fuzzers with Efficient Large Maps.
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.
ACM Trans. Design Autom. Electr. Syst., 2019

Cache Reconfiguration Using Machine Learning for Vulnerability-aware Energy Optimization.
ACM Trans. Embed. Comput. Syst., 2019

Hopscotch: a micro-benchmark suite for memory performance evaluation.
Proceedings of the International Symposium on Memory Systems, 2019

Automated Activation of Multiple Targets in RTL Models using Concolic Testing.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Security and Trust Verification of IoT SoCs.
Proceedings of the Security and Fault Tolerance in Internet of Things, 2019

2018
Hardware Trojan Detection Using ATPG and Model Checking.
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.
Proceedings of the IEEE International Test Conference, 2018

Directed test generation using concolic testing on RTL models.
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.
Proceedings of the 2017 IEEE International Conference on Computer Design, 2017


  Loading...