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
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