Karim Ali

ORCID

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 37

Top Venues

CASCON

CoRR

IEEE Trans. Software Eng.

ECOOP

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Abdul Ali Bangash, Kalvin Eng, Jamal Qasim, Karim Ali, Abram Hindle
Energy Consumption Estimation of API-usage in Smartphone Apps via Static Analysis. MSR (2023)
Jeff Cho, Karim Ali
Exploring Quality Assurance Practices and Tools for Indie Games. GAS (2023)
Jiaqi He, Revan MacQueen, Natalie Bombardieri, Karim Ali, James R. Wright, Cristina Cifuentes
Finding an Optimal Set of Static Analyzers To Detect Software Vulnerabilities. ICSME (2023)
Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl
Securing Your Crypto-API Usage Through Tool Support - A Usability Study. SecDev (2023)
Lisa Nguyen Quang Do, James R. Wright, Karim Ali
Why Do Software Developers Use Static Analysis Tools? A User-Centered Study of Developer Needs and Motivations. IEEE Trans. Software Eng. 48 (3) (2022)
Mansur Gulami, Ajay Kumar Jha, Sarah Nadi, Karim Ali, Yee-Kang Chang, Emily Jiang
A Human-in-the-loop Approach to Generate Annotation Usage Rules. CASCON (2022)
Abdul Ali Bangash, Karim Ali, Abram Hindle
Black Box Technique to Reduce Energy Consumption of Android Apps. ICSE (NIER) (2022)
Daniil Tiganov, Lisa Nguyen Quang Do, Karim Ali
Designing UIs for static-analysis tools. Commun. ACM 65 (2) (2022)
Erick Ochoa, Cijie Xia, Karim Ali, Andrew Craik, José Nelson Amaral
U can't inline this! CASCON (2021)
Kristen Newbury, Karim Ali, Andrew Craik
Hotfixing misuses of crypto APIs in Java programs. CASCON (2021)
Karim Ali, Xiaoni Lai, Zhaoyi Luo, Ondrej Lhoták, Julian Dolby, Frank Tip
A Study of Call Graph Construction for JVM-Hosted Languages. IEEE Trans. Software Eng. 47 (12) (2021)
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Trans. Software Eng. 47 (11) (2021)
Abdul Ali Bangash, Daniil Tiganov, Karim Ali, Abram Hindle
Energy Efficient Guidelines for iOS Core Location Framework. ICSME (2021)
Daniil Tiganov, Lisa Nguyen Quang Do, Karim Ali
Designing UIs for Static Analysis Tools: Evaluating tool design guidelines with SWAN. ACM Queue 19 (4) (2021)
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
Debugging Static Analysis. IEEE Trans. Software Eng. 46 (7) (2020)
Stefan Krüger, Karim Ali, Eric Bodden
: generating code for the secure usage of crypto APIs. CGO (2020)
Abdul Ali Bangash, Hareem Sahar, Abram Hindle, Karim Ali
On the time-based conclusion stability of cross-project defect prediction models. Empir. Softw. Eng. 25 (6) (2020)
Revan MacQueen, Nicholas Bombardieri, James R. Wright, Karim Ali
Game Theoretic Malware Detection. CoRR (2020)
Daniil Tiganov, Jeff Cho, Karim Ali, Julian Dolby
SWAN: a static analysis framework for swift. ESEC/SIGSOFT FSE (2020)
Abdul Ali Bangash, Hareem Sahar, Shaiful Alam Chowdhury, Alexander William Wong, Abram Hindle, Karim Ali
What do developers know about machine learning: a study of ML discussions on StackOverflow. MSR (2019)
Abdul Ali Bangash, Hareem Sahar, Abram Hindle, Karim Ali
On the Time-Based Conclusion Stability of Software Defect Prediction Models. CoRR (2019)
Artem Chikin, José Nelson Amaral, Karim Ali, Ettore Tiotto
Toward an Analytical Performance Model to Select between GPU and CPU Execution. IPDPS Workshops (2019)
Johannes Späth, Karim Ali, Eric Bodden
Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems. Proc. ACM Program. Lang. 3 (POPL) (2019)
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. ECOOP (2018)
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
Debugging Static Analysis. CoRR (2018)
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
VISUFLOW: a debugging environment for static analyses. ICSE (Companion Volume) (2018)
Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill
Cheetah: just-in-time taint analysis for Android apps. ICSE (Companion Volume) (2017)
Eddie A. Santos, Karim Ali
Lifting the curse of stringly-typed code. PeerJ Prepr. 5 (2017)
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, Ram Kamath
CogniCrypt: supporting developers in using cryptography. ASE (2017)
Mona Nashaat, Karim Ali, James Miller
Detecting Security Vulnerabilities in Object-Oriented PHP Programs. SCAM (2017)
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
CrySL: Validating Correct Usage of Cryptographic APIs. CoRR (2017)
Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill
Just-in-time static analysis. ISSTA (2017)
Johannes Späth, Karim Ali, Eric Bodden
: efficient and precise alias-aware dataflow analysis. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Karim Ali, Andrew Craik, Bardia Mahjour, Gregor Richards
Compiler-driven performance. CASCON (2017)
Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)
Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. ECOOP (2016)
Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini
Towards secure integration of cryptographic software. Onward! (2015)
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
Type-Based Call Graph Construction Algorithms for Scala. ACM Trans. Softw. Eng. Methodol. 25 (1) (2015)
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
Constructing Call Graphs of Scala Programs. ECOOP (2014)
Karim Ali, Ondrej Lhoták
Averroes: Whole-Program Analysis without the Whole Program. ECOOP (2013)
Karim Ali, Ondrej Lhoták
Application-Only Call Graph Construction. ECOOP (2012)

Karim Ali.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Karim Ali