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