Rasool Maghareh
Rasool Maghareh
Compiler Software Engineer at Huawei Technologies
Verified email at u.nus.edu - Homepage
Title
Cited by
Cited by
Year
Precise cache timing analysis via symbolic execution
DH Chu, J Jaffar, R Maghareh
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2016
242016
Symbolic execution for memory consumption analysis
DH Chu, J Jaffar, R Maghareh
Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages …, 2016
62016
Evaluation of management indicators in projects
MR Maghareh, S Mohammadzadeh, FM Alinejad, R Maghareh
IPEDR-International Proceedings of Economics Development and Research 15, 49-54, 2011
52011
TracerX: Dynamic symbolic execution with interpolation (competition contribution)
J Jaffar, R Maghareh, S Godboley, XL Ha
Fundamental Approaches to Software Engineering 12076, 530, 2020
42020
Optimal MC/DC test case generation
J Jaffar, S Godboley, R Maghareh
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
32019
TracerX: Dynamic Symbolic Execution with Interpolation
J Jaffar, R Maghareh, S Godboley, XL Ha
arXiv preprint arXiv:2012.00556, 2020
12020
Toward optimal mc/dc test case generation
S Godboley, J Jaffar, R Maghareh, A Dutta
Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021
2021
Extending DPC++ with Support for Huawei Ascend AI Chipset
W Feng, R Maghareh, KTA Wang
International Workshop on OpenCL, 1-4, 2021
2021
PRECISE YET SCALABLE RESOURCE ANALYSIS VIA SYMBOLIC EXECUTION
R MAGHAREH
2016
Enhancement of Template-Based Face Detection by Belief Propagation in Ordered Component Search
H Nejati, E Bayat, AJ Torabi, R Maghareh
Recent Advances in Computer Science and Information Engineering, 693-698, 2012
2012
Precise Cache Timing Analysis via Symbolic Simulation
DH Chu, J Jaffar, R Maghareh
The system can't perform the operation now. Try again later.
Articles 1–11