![Karim Ali](https://conf.researchr.org/getProfileImage/karimali/bc34f88f-6ce7-4af0-9fa2-ec65180a2f07/small.jpg?1711457862000)
Registered user since Tue 6 Jan 2015
Name:Karim Ali
Country:Canada
Affiliation:University of Alberta
Personal website: http://karimali.ca
Research interests:static analysis, programming languages, compilers, security, usability of analysis tools
Contributions
2018
SPLASH
- Session Chair of Static Analysis (part of OOPSLA)
- SWAN: A Swift Program Analysis Framework
- Guiding Inlining Decisions by Identifying Post-Inlining Transformations
- SPLASH-I Chair in Organizing Committee
- Committee Member in Organizers within the SPLASH-I-track
- Fixing Machine Learning with Solver-Aided Languages
TURBO
SPLASH 2018-profile
View general profile
View general profile