Karim Ali -

Registered user since Tue 6 Jan 2015

Name:Karim Ali

Affiliation:University of Alberta

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

Contributions

MSR 2023	Author of Energy Consumption Estimation of API-usage in Mobile Apps via Static Analysis within the Technical Papers-track
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