Karim Ali

According to our database, Karim Ali authored at least 42 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Securing Your Crypto-API Usage Through Tool Support - A Usability Study.

Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl

Proceedings of the IEEE Secure Development Conference, 2023

Energy Consumption Estimation of API-usage in Smartphone Apps via Static Analysis.

Abdul Ali Bangash, Kalvin Eng, Jamal Qasim, Karim Ali, Abram Hindle

Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

Finding an Optimal Set of Static Analyzers To Detect Software Vulnerabilities.

Jiaqi He, Revan MacQueen, Natalie Bombardieri, Karim Ali, James R. Wright, Cristina Cifuentes

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

Exploring Quality Assurance Practices and Tools for Indie Games.

Jeff Cho, Karim Ali

Proceedings of the 7th IEEE/ACM International Workshop on Games and Software Engineering, 2023

2022

Debugging Static Analysis.

Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden

Dataset, May, 2022

Why Do Software Developers Use Static Analysis Tools? A User-Centered Study of Developer Needs and Motivations.

Lisa Nguyen Quang Do, James R. Wright, Karim Ali

IEEE Trans. Software Eng., 2022

Designing UIs for static-analysis tools.

Daniil Tiganov, Lisa Nguyen Quang Do, Karim Ali

Commun. ACM, 2022

Black Box Technique to Reduce Energy Consumption of Android Apps.

Abdul Ali Bangash, Karim Ali, Abram Hindle

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results ICSE (NIER) 2022, 2022

A Human-in-the-loop Approach to Generate Annotation Usage Rules.

Mansur Gulami, Ajay Kumar Jha, Sarah Nadi, Karim Ali, Yee-Kang Chang, Emily Jiang

Proceedings of the 32nd Annual International Conference on Computer Science and Software Engineering, 2022

2021

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.

Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini

IEEE Trans. Software Eng., 2021

A Study of Call Graph Construction for JVM-Hosted Languages.

Karim Ali, Xiaoni Lai, Zhaoyi Luo, Ondrej Lhoták, Julian Dolby, Frank Tip

IEEE Trans. Software Eng., 2021

Designing UIs for Static Analysis Tools: Evaluating tool design guidelines with SWAN.

Daniil Tiganov, Lisa Nguyen Quang Do, Karim Ali

ACM Queue, 2021

Energy Efficient Guidelines for iOS Core Location Framework.

Abdul Ali Bangash, Daniil Tiganov, Karim Ali, Abram Hindle

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

U can't inline this!

Erick Ochoa, Cijie Xia, Karim Ali, Andrew Craik, José Nelson Amaral

Proceedings of the CASCON '21: Proceedings of the 31st Annual International Conference on Computer Science and Software Engineering, Toronto, Ontario, Canada, November 22, 2021

Hotfixing misuses of crypto APIs in Java programs.

Kristen Newbury, Karim Ali, Andrew Craik

Proceedings of the CASCON '21: Proceedings of the 31st Annual International Conference on Computer Science and Software Engineering, Toronto, Ontario, Canada, November 22, 2021

2020

Debugging Static Analysis.

Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden

IEEE Trans. Software Eng., 2020

On the time-based conclusion stability of cross-project defect prediction models.

Abdul Ali Bangash, Hareem Sahar, Abram Hindle, Karim Ali

Empir. Softw. Eng., 2020

Game Theoretic Malware Detection.

Revan MacQueen, Nicholas Bombardieri, James R. Wright, Karim Ali

CoRR, 2020

SWAN: a static analysis framework for swift.

Daniil Tiganov, Jeff Cho, Karim Ali, Julian Dolby

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

CogniCrypt_<i>GEN</i>: generating code for the secure usage of crypto APIs.

Stefan Krüger, Karim Ali, Eric Bodden

Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020

2019

Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems.

Johannes Späth, Karim Ali, Eric Bodden

Proc. ACM Program. Lang., 2019

On the Time-Based Conclusion Stability of Software Defect Prediction Models.

Abdul Ali Bangash, Hareem Sahar, Abram Hindle, Karim Ali

CoRR, 2019

What do developers know about machine learning: a study of ML discussions on StackOverflow.

Abdul Ali Bangash, Hareem Sahar, Shaiful Alam Chowdhury, Alexander William Wong, Abram Hindle, Karim Ali

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

Toward an Analytical Performance Model to Select between GPU and CPU Execution.

Artem Chikin, José Nelson Amaral, Karim Ali, Ettore Tiotto

Proceedings of the IEEE International Parallel and Distributed Processing Symposium Workshops, 2019

2018

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact).

Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini

Dagstuhl Artifacts Ser., 2018

VISUFLOW: a debugging environment for static analyses.

Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Lifting the curse of stringly-typed code.

Eddie A. Santos, Karim Ali

PeerJ Prepr., 2017

IDE^<i>al</i>: efficient and precise alias-aware dataflow analysis.

Johannes Späth, Karim Ali, Eric Bodden

Proc. ACM Program. Lang., 2017

CrySL: Validating Correct Usage of Cryptographic APIs.

Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini

CoRR, 2017

Detecting Security Vulnerabilities in Object-Oriented PHP Programs.

Mona Nashaat, Karim Ali, James Miller

Proceedings of the 17th IEEE International Working Conference on Source Code Analysis and Manipulation, 2017

CogniCrypt: supporting developers in using cryptography.

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

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Just-in-time static analysis.

Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Cheetah: just-in-time taint analysis for Android apps.

Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill

Proceedings of the 39th International Conference on Software Engineering, 2017

Compiler-driven performance.

Karim Ali, Andrew Craik, Bardia Mahjour, Gregor Richards

Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering, 2017

2016

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact).

Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden

Dagstuhl Artifacts Ser., 2016

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.

Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Type-Based Call Graph Construction Algorithms for Scala.

Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip

ACM Trans. Softw. Eng. Methodol., 2015

Towards secure integration of cryptographic software.

Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini

Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

2014

The Separate Compilation Assumption.

Karim Ali

PhD thesis, 2014

Constructing Call Graphs of Scala Programs.

Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Averroes: Whole-Program Analysis without the Whole Program.

Karim Ali, Ondrej Lhoták

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

Application-Only Call Graph Construction.

Karim Ali, Ondrej Lhoták

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012