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

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
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
ECOOP 2020	Committee Member in Program Committee within the Research Papers-track Session Chair of S-4 (part of Research Papers)
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
MSR 2020	PC Member in Program Committee within the Mining Challenge-track
SEAD 2019	Committee Member in Program Committee within the SEAD 2019-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
ICSE 2021	Committee Member in Program Committee within the New Ideas and Emerging Results-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
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
TURBO'18	Speaker of U Can't Inline This within the TURBO-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
Panathon 2018	Co-chair in Organizers within the Panathon-track
BenchWork 2018	Author of Opening Remarks within the BenchWork-track Co-chair in Organizing Committee within the BenchWork-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
NJR 2017	Author of Benchmarking for Program Analysis within the NJR 2017-track
SOAP 2017	Committee Member in Organizing Committee within the SOAP-track
Onward! 2017	Session Chair of Programming Models (part of Onward! Papers) Committee Member in Program Committee within the Onward! Papers-track
ISSTA 2017	Author of Just-in-Time Static Analysis within the Technical Papers-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
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
ECOOP and ISSTA 2018	Web Chair in Organizing Committee
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
PLDI 2017	Author 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 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
PLDI 2015	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ECOOP 2015	Committee Member in Artifact Evaluation Committee within the Artifacts-track