Karim Ali
Scholar

Karim Ali

Google Scholar ID: TC8495oAAAAJ
Associate Professor, NYU Abu Dhabi
CompilerProgramming LanguagesCall GraphStatic Analysis
Citations & Impact
All-time
Citations
1,211
 
H-index
17
 
i10-index
20
 
Publications
20
 
Co-authors
22
list available
Resume (English only)
Academic Achievements
  • Published several papers such as 'Energy Consumption Estimation of API-usage in Mobile Apps via Static Analysis' (2023), 'Designing UIs for Static Analysis Tools: Evaluating Tool Design Guidelines with SWAN' (2021), and more. Involved in multiple research projects, including helping Symantec fix a potential security vulnerability in one of its products.
Research Experience
  • Currently an Associate Professor at NYU Abu Dhabi, leading the SANAD Lab. Key research projects include SWAN (a static analysis framework for Swift programs), Just-in-Time compilers, and improving the usability of static analysis tools.
Background
  • Interested in developing and evaluating various program analysis techniques that can be used in practice, focusing on scalability, precision, and usability. Interests span programming languages, software systems, and software engineering.