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

SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
ECOOP 2023 Program Co-Chair in Program Committee within the Research Papers-track
Program Co-Chair in Organizing Committee
CC 2023 Committee Member in Program Committee within the Research Papers-track
SPLASH 2022 Committee Member in Review Committee within the OOPSLA-track
ECOOP 2022 Program Committee Chair in Program Committee within the Research Papers-track
Program Committee Chair in Organizers
Speaker of Opening within the Keynotes-track
Session Chair of Program Analysis 1 (part of Research Papers)
Presenter of Awards, Outlooks, and Farewells within the Keynotes-track
ICSE 2022 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)
SPLASH 2021 PLMW Co-Chair in Organizing Committee within the PLMW-track
Committee Member in Review Committee within the OOPSLA-track
ECOOP 2021 Keynote Speaker of Dahl-Nygaard Junior Prize: Scalable and Precise Static Analysis. For Real! within the ECOOP Keynotes-track
ICSE 2021 Author of On the Time-Based Conclusion Stability of Cross-Project Defect Prediction Models within the Journal-First Papers-track
Committee Member in Program Committee within the NIER - New Ideas and Emerging Results-track
SPLASH 2020 PLMW Co-Chair in Organizing Committee within the PLMW-track
Session Chair of W-1 (part of OOPSLA)
Session Chair of T-2 (part of OOPSLA)
PLMW Co-Chair in Organizing Committee
Committee Member in Review Committee within the OOPSLA-track
ECOOP 2020 Committee Member in Program Committee within the Research Papers-track
Session Chair of S-4 (part of Research Papers)
ESEC/FSE 2020 Panelist of Conversations on Analysis 2 within the Research Papers-track
Author of A Study of Call Graph Construction for JVM-Hosted Languages within the Journal First-track
Author of SWAN: A Static Analysis Framework for Swift within the Tool Demos-track
Scala 2020 Author of Toward a Simpler Syntactic Soundness for DOT (Student Talk) within the Scala-track
SySEPL 2020 Committee Member in Program Committee within the SySEPL 2020-track
MSR 2020 PC Member in Program Committee within the Mining Challenge-track
SEAD 2019 Committee Member in Program Committee within the SEAD 2019-track
SPLASH 2019 Contributor/Author of Introduction within the PLMW-track
Co-chair in Organizing Committee within the PLMW-track
Session Chair of What do we do with PL? (part of PLMW)
Contributor/Author of Icebreaker and Networking Activity within the PLMW-track
ISSTA 2019 Committee Member in Program Committee within the Technical Papers-track
AORTA 2019 Committee Member in Program Committee within the AORTA 2019-track
Panathon 2019 Committee member in Organizing Committee within the Panathon 2019-track
SOAP 2019 Committee Member in Program Committee within the SOAP-track
MSR 2019 Author of What do developers know about machine learning: a study of ML discussions on StackOverflow within the MSR 2019 Mining Challenge-track
POPL 2019 Author of Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems within the Research Papers-track
NJR 2018 Author of SWAN: A Program Analysis Framework for Swift within the NJR-track
SPLASH 2018 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
TURBO'18 Speaker of U Can't Inline This within the TURBO-track
BenchWork 2018 Author of Opening Remarks within the BenchWork-track
Co-chair in Organizing Committee within the BenchWork-track
ECOOP 2018 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 and ISSTA 2018 Web Chair in Organizing Committee
ISSTA 2018 Web 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
Panathon 2018 Co-chair in Organizers within the Panathon-track
* ICSE 2018 * Author of VisuFlow: a Debugging Environment for Static Analyses within the DEMO - Demonstrations -track
NJR 2017 Author of Benchmarking for Program Analysis within the NJR 2017-track
Onward! 2017 Session Chair of Programming Models (part of Onward! Papers)
Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2017 Committee 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
ISSTA 2017 Author of Just-in-Time Static Analysis within the Technical Papers-track
PLDI 2017 Author of WALA Hack-A-Thon within the PLDI Tutorials-track
SOAP 2017 Committee Member in Organizing Committee within the SOAP-track
ECOOP 2016 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
Onward! 2015 Session Chair of Session the Second (part of Onward! Papers)
Author of Towards Secure Integration of Cryptographic Software within the Onward! Papers-track
ECOOP 2015 Committee Member in Artifact Evaluation Committee within the Artifacts-track
PLDI 2015 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track