Follow
Ali Mustafa Zaidi
Ali Mustafa Zaidi
PhD Student, University of Cambridge
Verified email at arm.com
Title
Cited by
Cited by
Year
End-to-end verification of processors with ISA-Formal
A Reid, R Chen, A Deligiannis, D Gilday, D Hoyes, W Keen, A Pathirane, ...
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
1052016
Multiobjective VLSI cell placement using distributed simulated evolution algorithm
SM Sait, MI Ali, AM Zaidi
2005 IEEE International Symposium on Circuits and Systems, 6226-6229, 2005
152005
App-based task shortcuts for virtual assistants
D Arsan, A Zaidi, A Sagar, R Kumar
The 34th Annual ACM Symposium on User Interface Software and Technology …, 2021
132021
Accelerating control-flow intensive code in spatial hardware
SAM Zaidi
University of Cambridge, 2015
72015
A new dataflow compiler IR for accelerating control-intensive code in spatial hardware
AM Zaidi, D Greaves
2014 IEEE International Parallel & Distributed Processing Symposium …, 2014
72014
Evaluating parallel simulated evolution strategies for vlsi cell placement
SM Sait, MI Ali, AM Zaidi
Journal of Mathematical Modelling and Algorithms 6, 433-454, 2007
62007
Value state flow graph: A dataflow compiler IR for accelerating control-intensive code in spatial hardware
AM Zaidi, D Greaves
ACM Transactions on Reconfigurable Technology and Systems (TRETS) 9 (2), 1-22, 2015
52015
Asynchronous MMC based parallel SA schemes for multiobjective standard cell placement
SM Sait, AM Zaidi, MI Ali
2006 IEEE International Symposium on Circuits and Systems (ISCAS), 4 pp.-4618, 2006
52006
A user-centric evaluation of smart home resolution approaches for conflicts between routines
A Zaidi, R Yang, V Koshy, C Cobb, I Gupta, K Karahalios
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous …, 2023
32023
Exploring asynchronous mmc-based parallel sa schemes for multiobjective cell placement on a cluster of workstations
SM Sait, AM Zaidi, MI Ali, KS Khan, S Syed
Arabian Journal for Science and Engineering 36, 259-278, 2011
32011
Comparative evaluation of parallelization strategies for evolutionary and stochastic heuristics
SM Sait, S Sanaullah, AM Zaidi, MI Ali
Proceedings of the 7th annual conference on Genetic and evolutionary …, 2005
32005
Learning Custom Experience Ontologies via Embedding-based Feedback Loops
A Zaidi, K Turbeville, K Ivančić, J Moss, J Gutierrez Villalobos, A Sagar, ...
Proceedings of the 36th Annual ACM Symposium on User Interface Software and …, 2023
12023
Exposing ILP in custom hardware with a dataflow compiler IR
AM Zaidi
Proceedings of the 22nd International Conference on Parallel Architectures …, 2013
12013
Achieving superscalar performance without superscalar overheads-a dataflow compiler IR for custom computing
AM Zaidi, DJ Greaves
2013 Imperial College Computing Student Workshop, 2013
12013
A Modular Reconfigurable Architecture for Asymmetric and Symmetric-key Cryptography
AM Zaidi
ProQuest, 2007
12007
Loopapalooza: Investigating Limits of Loop-Level Parallelism with a Compiler-Driven Approach
AM Zaidi, K Iordanou, M Luján, G Gabrielli
2021 IEEE International Symposium on Performance Analysis of Systems and …, 2021
2021
Fine-grained Energy/Power Instrumentation for Software-level Efficiency Optimization
DJ Greaves, M Puzovic, AM Zaidi, K McDonald-Maier, A Hopkins
2015
A Modular Reconfigurable Architecture for Asymmetric and Symmetric-key Cryptographic Algorithms
AM Zaidi
King Fahd University of Petroleum and Minerals, 2007
2007
Acceleration of Compute-intensive Applications Using Compute Unified Device Architecture (CUDA)
A Zaidi
Department of Computing, Imperial College London 2007., 2007
2007
Assessment of Parallelization Strategies of Metaheuristics for Linear Speed-up while Maintaining Quality
MI Ali, AM Zaidi
The system can't perform the operation now. Try again later.
Articles 1–20