Karim Ali
University of Alberta
H-index: 15
North America-Canada
Top articles of Karim Ali
Securing Your Crypto-API Usage Through Tool Support-A Usability Study
2023/10/18
Finding an Optimal Set of Static Analyzers To Detect Software Vulnerabilities
2023/10/1
Revan Macqueen
H-Index: 0
Karim Ali
H-Index: 10
Exploring Quality Assurance Practices and Tools for Indie Games
2023/5/15
Karim Ali
H-Index: 10
Energy Consumption Estimation of API-usage in Smartphone Apps via Static Analysis
2023/5/15
Exact separation logic: Towards bridging the gap between verification and bug-finding
2023
GPU Accelerated Dataflow Analysis
2023
Karim Ali
H-Index: 10
LIPIcs, Volume 263, ECOOP 2023, Complete Volume
2023
Karim Ali
H-Index: 10
36th European Conference on Object-Oriented Programming
2022/6
Karim Ali
H-Index: 10
Jan Vitek
H-Index: 23
A black box technique to reduce energy consumption of android apps
2022/5/21
Designing UIs for static-analysis tools
Communications of the ACM
2022/1/24
Karim Ali
H-Index: 10
A Human-in-the-loop Approach to Generate Annotation Usage Rules
2022/11/15
2021 Index IEEE Transactions on Software Engineering Vol. 47
IEEE Transactions on Software Engineering
2022/1
Hybrid computing device selection analysis
2021/11/30
Hotfixing misuses of crypto APIs in Java programs
2021/11/22
Karim Ali
H-Index: 10
U can't inline this!
2021/11/22
Karim Ali
H-Index: 10
Assessment of the benefit of post-inlining program transformation in inlining decisions
2021/10/26
Energy efficient guidelines for ios core location framework
2021/9/27
Designing UIs for Static Analysis Tools: Evaluating tool design guidelines with SWAN
Queue
2021/8/31
Karim Ali
H-Index: 10
Game-Theoretic Malware Detection
arXiv preprint arXiv:2012.00817
2020/12/1
Revan Macqueen
H-Index: 0
Karim Ali
H-Index: 10