Application-Only Call Graph Construction. - Karim Ali 001; Ondrej Lhoták (ECOOP, 2012)

Averroes: Whole-Program Analysis without the Whole Program. - Karim Ali 001; Ondrej Lhoták (ECOOP, 2013)

Constructing Call Graphs of Scala Programs. - Karim Ali 001; Marianna Rapoport; Ondrej Lhoták; Julian Dolby; Frank Tip (ECOOP, 2014)

The Separate Compilation Assumption. - Karim Ali 001 (2014)

Towards secure integration of cryptographic software. - Steven Arzt; Sarah Nadi; Karim Ali 001; Eric Bodden; Sebastian Erdweg; Mira Mezini (Onward!, 2015)

Type-Based Call Graph Construction Algorithms for Scala. - Karim Ali 001; Marianna Rapoport; Ondrej Lhoták; Julian Dolby; Frank Tip (ACM Trans. Softw. Eng. Methodol., 2015)

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. - Johannes Späth; Lisa Nguyen Quang Do; Karim Ali 001; Eric Bodden (ECOOP, 2016)

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact). - Johannes Späth; Lisa Nguyen Quang Do; Karim Ali 001; Eric Bodden (Dagstuhl Artifacts Ser., 2016)

Compiler-driven performance. - Karim Ali 001; Andrew Craik; Bardia Mahjour; Gregor Richards (CASCON, 2017)

Cheetah: just-in-time taint analysis for Android apps. - Lisa Nguyen Quang Do; Karim Ali 001; Benjamin Livshits; Eric Bodden; Justin Smith 001; Emerson R. Murphy-Hill (ICSE (Companion Volume), 2017)

Just-in-time static analysis. - Lisa Nguyen Quang Do; Karim Ali 001; Benjamin Livshits; Eric Bodden; Justin Smith 001; Emerson R. Murphy-Hill (ISSTA, 2017)

CogniCrypt: supporting developers in using cryptography. - Stefan Krüger; Sarah Nadi; Michael Reif; Karim Ali 001; Mira Mezini; Eric Bodden; Florian Göpfert; Felix Günther 001; Christian Weinert; Daniel Demmler; Ram Kamath (ASE, 2017)

Detecting Security Vulnerabilities in Object-Oriented PHP Programs. - Mona Nashaat; Karim Ali 001; James Miller 001 (SCAM, 2017)

CrySL: Validating Correct Usage of Cryptographic APIs. - Stefan Krüger; Johannes Späth; Karim Ali 001; Eric Bodden; Mira Mezini (CoRR, 2017)

IDEal: efficient and precise alias-aware dataflow analysis. - Johannes Späth; Karim Ali 001; Eric Bodden (Proc. ACM Program. Lang., 2017)

Lifting the curse of stringly-typed code. - Eddie A. Santos; Karim Ali 001 (PeerJ Prepr., 2017)

VISUFLOW: a debugging environment for static analyses. - Lisa Nguyen Quang Do; Stefan Krüger; Patrick Hill; Karim Ali 001; Eric Bodden (ICSE (Companion Volume), 2018)

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact). - Stefan Krüger; Johannes Späth; Karim Ali 001; Eric Bodden; Mira Mezini (Dagstuhl Artifacts Ser., 2018)

Toward an Analytical Performance Model to Select between GPU and CPU Execution. - Artem Chikin; José Nelson Amaral; Karim Ali 001; Ettore Tiotto (IPDPS Workshops, 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 001 (MSR, 2019)

On the Time-Based Conclusion Stability of Software Defect Prediction Models. - Abdul Ali Bangash; Hareem Sahar; Abram Hindle; Karim Ali 001 (CoRR, 2019)

Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems. - Johannes Späth; Karim Ali 001; Eric Bodden (Proc. ACM Program. Lang., 2019)

CogniCryptGEN: generating code for the secure usage of crypto APIs. - Stefan Krüger; Karim Ali 001; Eric Bodden (CGO, 2020)

SWAN: a static analysis framework for swift. - Daniil Tiganov; Jeff Cho; Karim Ali 001; Julian Dolby (ESEC/SIGSOFT FSE, 2020)

Game Theoretic Malware Detection. - Revan MacQueen; Nicholas Bombardieri; James R. Wright; Karim Ali 001 (CoRR, 2020)

On the time-based conclusion stability of cross-project defect prediction models. - Abdul Ali Bangash; Hareem Sahar; Abram Hindle; Karim Ali 001 (Empir. Softw. Eng., 2020)

Debugging Static Analysis. - Lisa Nguyen Quang Do; Stefan Krüger; Patrick Hill; Karim Ali 001; Eric Bodden (IEEE Trans. Software Eng., 2020)

CogniCrypt_GEN - Generating Code for the Secure Use of Crypto APIs (Artefact). - Stefan Krüger; André Sonntag; Karim Ali 001; Eric Bodden (Zenodo, 2020)

Hotfixing misuses of crypto APIs in Java programs. - Kristen Newbury; Karim Ali 001; Andrew Craik (CASCON, 2021)

U can't inline this! - Erick Ochoa; Cijie Xia; Karim Ali 001; Andrew Craik; José Nelson Amaral (CASCON, 2021)

Energy Efficient Guidelines for iOS Core Location Framework. - Abdul Ali Bangash; Daniil Tiganov; Karim Ali 001; Abram Hindle (ICSME, 2021)

Designing UIs for Static Analysis Tools: Evaluating tool design guidelines with SWAN. - Daniil Tiganov; Lisa Nguyen Quang Do; Karim Ali 001 (ACM Queue, 2021)

A Study of Call Graph Construction for JVM-Hosted Languages. - Karim Ali 001; Xiaoni Lai; Zhaoyi Luo; Ondrej Lhoták; Julian Dolby; Frank Tip (IEEE Trans. Software Eng., 2021)

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. - Stefan Krüger; Johannes Späth; Karim Ali 001; Eric Bodden; Mira Mezini (IEEE Trans. Software Eng., 2021)

A Human-in-the-loop Approach to Generate Annotation Usage Rules. - Mansur Gulami; Ajay Kumar Jha; Sarah Nadi; Karim Ali 001; Yee-Kang Chang; Emily Jiang (CASCON, 2022)

Black Box Technique to Reduce Energy Consumption of Android Apps. - Abdul Ali Bangash; Karim Ali 001; Abram Hindle (ICSE (NIER), 2022)

Designing UIs for static-analysis tools. - Daniil Tiganov; Lisa Nguyen Quang Do; Karim Ali 001 (Commun. ACM, 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 001 (IEEE Trans. Software Eng., 2022)

Debugging Static Analysis. - Lisa Nguyen Quang Do; Stefan Krüger; Patrick Hill; Karim Ali 001; Eric Bodden (IEEE DataPort, 2022)

Exploring Quality Assurance Practices and Tools for Indie Games. - Jeff Cho; Karim Ali 001 (GAS, 2023)

Finding an Optimal Set of Static Analyzers To Detect Software Vulnerabilities. - Jiaqi He; Revan MacQueen; Natalie Bombardieri; Karim Ali 001; James R. Wright; Cristina Cifuentes (ICSME, 2023)

Energy Consumption Estimation of API-usage in Smartphone Apps via Static Analysis. - Abdul Ali Bangash; Kalvin Eng; Jamal Qasim; Karim Ali 001; Abram Hindle (MSR, 2023)

Securing Your Crypto-API Usage Through Tool Support - A Usability Study. - Stefan Krüger; Michael Reif; Anna-Katharina Wickert; Sarah Nadi; Karim Ali 001; Eric Bodden; Yasemin Acar; Mira Mezini; Sascha Fahl (SecDev, 2023)

Securing Your Crypto-API Usage Through Tool Support - A Usability Study. - Stefan Krüger; Michael Reif; Anna-Katharina Wickert; Sarah Nadi; Karim Ali 001; Eric Bodden; Yasemin Acar; Sascha Fahl (Zenodo, 2023)

Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors. - Felipe Bañados Schwerter; Ronald Garcia; Reid Holmes; Karim Ali 001 (Art Sci. Eng. Program., 2025)

Does faster mean greener? Runtime and energy trade-offs in iOS applications with compiler optimizations. - José Miguel Aragón-Jurado; Abdul Ali Bangash; Bernabé Dorronsoro; Karim Ali 001; Abram Hindle; Patricia Ruiz (Sustain. Comput. Informatics Syst., 2025)