Karim Ali

Registered user since Tue 6 Jan 2015

Name: Karim Ali

Affiliation: University of Alberta

Personal website: http://karimali.ca

Research interests: static analysis, programming languages, compilers, security, usability of analysis tools

Contributions

SEAD 2019Committee Member in Program Committee within the SEAD 2019-track
AORTA 2019Committee Member in Program Committee within the AORTA 2019-track
Panathon 2019Committee member in Organizing Committee within the Panathon 2019-track
SOAP 2019Committee Member in Program Committee within the SOAP-track
MSR 2019Author of What do developers know about machine learning: a study of ML discussions on StackOverflow within the MSR 2019 Mining Challenge-track
SPLASH 2019Contributor/Author of Introduction within the PLMW-track
Co-chair in Organizing Committee within the PLMW-track
Contributor/Author of Icebreaker and Networking Activity within the PLMW-track
ISSTA 2019Committee Member in Program Committee within the Technical Papers-track
TURBO'18Speaker of U Can't Inline This within the TURBO-track
POPL 2019Author of Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems within the Research Papers-track
NJR 2018Author of SWAN: A Program Analysis Framework for Swift within the NJR-track
Panathon 2018Co-chair in Organizers within the Panathon-track
BenchWork 2018Author of Opening Remarks within the BenchWork-track
Co-chair in Organizing Committee within the BenchWork-track
SPLASH 2018Session 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
NJR 2017Author of Benchmarking for Program Analysis within the NJR 2017-track
SOAP 2017Committee Member in Organizing Committee within the SOAP-track
Onward! 2017Session Chair of Programming Models (part of Onward! Papers)
Committee Member in Program Committee within the Onward! Papers-track
ISSTA 2017Author of Just-in-Time Static Analysis within the Technical Papers-track
ECOOP 2018Web 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
ISSTA 2018Web Chair in Organizing Committee
Session Chair of Static Analysis (part of ISSTA Technical Papers)
Committee Member in Program Committee within the ISSTA Technical Papers-track
ECOOP and ISSTAWeb Chair in Organizing Committee
SPLASH 2017Committee Member in Organizing Committee within the SPLASH-I-track
Author of IDEal: Efficient and Precise Alias-Aware Dataflow Analysis within the OOPSLA-track
Session Chair of Security (part of SPLASH-I)
SPLASH-I Co-Chair in Organizing Committee
PLDI 2017Author of WALA Hack-A-Thon within the PLDI Tutorials-track
* ICSE 2018 *Author of VisuFlow: a Debugging Environment for Static Analyses within the DEMO - Demonstrations -track
ECOOP 2016Author 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
Onward! 2015Session Chair of Session the Second (part of Onward! Papers)
Author of Towards Secure Integration of Cryptographic Software within the Onward! Papers-track
PLDI 2015Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ECOOP 2015Committee Member in Artifact Evaluation Committee within the Artifacts-track