Karim Ali

According to our database, Karim Ali authored at least 28 papers between 2012 and 2020.

Collaborative distances:

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

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

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

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

Proceedings of the 32nd European Conference on Object-Oriented Programming, 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