conf.researchr.org / Karim Ali
Registered user since Tue 6 Jan 2015
Name:Karim Ali
Country:United Arab Emirates
Affiliation:NYU Abu Dhabi
Personal website: https://karimali.ca
X (Twitter): https://x.com/karimhamdanali
Research interests:static analysis, programming languages, compilers, security, usability of analysis tools
Contributions
2027
2026
AIST
Mining Software Repositories
2025
Static Analysis Symposium
CASCON
2024
2023
Mining Software Repositories
ECOOP
2022
ECOOP
ICSE
- Committee Member in Program Committee within the Technical Track-track
- Author of A Black Box Technique to Reduce Energy Consumption of Android Apps within the NIER - New Ideas and Emerging Results-track
- Session Chair of Program Analysis 5 (part of Technical Track)
- Session Chair of Programming Languages 2 (part of Technical Track)
2021
SPLASH
2020
SPLASH
ECOOP
ESEC/FSE
Mining Software Repositories
2019
SPLASH
Mining Software Repositories
2018
SPLASH
- Session Chair of Static Analysis (part of OOPSLA)
- Author of SWAN: A Swift Program Analysis Framework within the Posters-track
- Author of Guiding Inlining Decisions by Identifying Post-Inlining Transformations within the Posters-track
- SPLASH-I Chair in Organizing Committee
- Committee Member in Organizers within the SPLASH-I-track
- Author of Fixing Machine Learning with Solver-Aided Languages within the Posters-track
BenchWork
ECOOP
- Web Chair in Organizing Committee
- Session Chair of Static Analysis (part of ECOOP Research Papers)
- Author of CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs within the ECOOP Research Papers-track
- Committee Member in Program Committee within the ECOOP Research Papers-track
ECOOP/ISSTA
ISSTA
2017
Onward!
SPLASH
2016
ECOOP
- Author of Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java within the Research Track-track
- Author of Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java within the Posters-track
- Author of Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java within the Artifacts-track