Karim Ali

52 papers A* 2A 13C 1Journal 22Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
Where Do Smart Contract Security Analyzers Fall Short?
CoRR
Tamer Abdelaziz, Salma Alsaghir, Karim Ali
2025 A* conf
BuilDroid: A Self-Correcting LLM Agent for Automated Android Builds.
ASE
Jaehyeon Kim, Rui Rua, Karim Ali
2025 J jnl
Does faster mean greener? Runtime and energy trade-offs in iOS applications with compiler optimizations.
Sustain. Comput. Informatics Syst.
José Miguel Aragón-Jurado, Abdul Ali Bangash, Bernabé Dorronsoro, Karim Ali, Abram Hindle, Patricia Ruiz
2025 J jnl
Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors.
CoRR
Felipe Bañados Schwerter, Ronald Garcia, Reid Holmes, Karim Ali
2025 J jnl
Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors.
Art Sci. Eng. Program.
Felipe Bañados Schwerter, Ronald Garcia, Reid Holmes, Karim Ali
2025 J jnl
Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors.
Art Sci. Eng. Program.
Felipe Bañados Schwerter, Ronald Garcia, Reid Holmes, Karim Ali
2023 A ed.
37th European Conference on Object-Oriented Programming, ECOOP 2023, Seattle, Washington, United States, July 17-21, 2023
ECOOP
Karim Ali, Guido Salvaneschi
2023 A conf
Energy Consumption Estimation of API-usage in Smartphone Apps via Static Analysis.
MSR
Abdul Ali Bangash, Kalvin Eng, Jamal Qasim, Karim Ali, Abram Hindle
2023 — conf
Exploring Quality Assurance Practices and Tools for Indie Games.
GAS
Jeff Cho, Karim Ali
2023 A conf
Finding an Optimal Set of Static Analyzers To Detect Software Vulnerabilities.
ICSME
Jiaqi He, Revan MacQueen, Natalie Bombardieri, Karim Ali, James R. Wright, Cristina Cifuentes
2023 — conf
Securing Your Crypto-API Usage Through Tool Support - A Usability Study.
SecDev
Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl
2022 A ed.
36th European Conference on Object-Oriented Programming, ECOOP 2022, Berlin, Germany, June 6-10, 2022
ECOOP
Karim Ali, Jan Vitek
2022 — conf
A Human-in-the-loop Approach to Generate Annotation Usage Rules.
CASCON
Mansur Gulami, Ajay Kumar Jha, Sarah Nadi, Karim Ali, Yee-Kang Chang, Emily Jiang
2022 — conf
Black Box Technique to Reduce Energy Consumption of Android Apps.
ICSE (NIER)
Abdul Ali Bangash, Karim Ali, Abram Hindle
2022 J jnl
Designing UIs for static-analysis tools.
Commun. ACM
Daniil Tiganov, Lisa Nguyen Quang Do, Karim Ali
2022 J jnl
Why Do Software Developers Use Static Analysis Tools? A User-Centered Study of Developer Needs and Motivations.
IEEE Trans. Software Eng.
Lisa Nguyen Quang Do, James R. Wright, Karim Ali
2021 J jnl
A Study of Call Graph Construction for JVM-Hosted Languages.
IEEE Trans. Software Eng.
Karim Ali, Xiaoni Lai, Zhaoyi Luo, Ondrej Lhoták, Julian Dolby, Frank Tip
2021 J jnl
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
IEEE Trans. Software Eng.
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2021 J jnl
Designing UIs for Static Analysis Tools: Evaluating tool design guidelines with SWAN.
ACM Queue
Daniil Tiganov, Lisa Nguyen Quang Do, Karim Ali
2021 A conf
Energy Efficient Guidelines for iOS Core Location Framework.
ICSME
Abdul Ali Bangash, Daniil Tiganov, Karim Ali, Abram Hindle
2021 — conf
Hotfixing misuses of crypto APIs in Java programs.
CASCON
Kristen Newbury, Karim Ali, Andrew Craik
2021 — conf
U can't inline this!
CASCON
Erick Ochoa, Cijie Xia, Karim Ali, Andrew Craik, José Nelson Amaral
2020 A conf
CogniCrypt
CGO
Stefan Krüger, Karim Ali, Eric Bodden
2020 J jnl
Debugging Static Analysis.
IEEE Trans. Software Eng.
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
2020 J jnl
Game Theoretic Malware Detection.
CoRR
Revan MacQueen, Nicholas Bombardieri, James R. Wright, Karim Ali
2020 J jnl
On the time-based conclusion stability of cross-project defect prediction models.
Empir. Softw. Eng.
Abdul Ali Bangash, Hareem Sahar, Abram Hindle, Karim Ali
2020 — conf
SWAN: a static analysis framework for swift.
ESEC/SIGSOFT FSE
Daniil Tiganov, Jeff Cho, Karim Ali, Julian Dolby
2019 J jnl
Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems.
Proc. ACM Program. Lang.
Johannes Späth, Karim Ali, Eric Bodden
2019 J jnl
On the Time-Based Conclusion Stability of Software Defect Prediction Models.
CoRR
Abdul Ali Bangash, Hareem Sahar, Abram Hindle, Karim Ali
2019 — conf
Toward an Analytical Performance Model to Select between GPU and CPU Execution.
IPDPS Workshops
Artem Chikin, José Nelson Amaral, Karim Ali, Ettore Tiotto
2019 A conf
What do developers know about machine learning: a study of ML discussions on StackOverflow.
MSR
Abdul Ali Bangash, Hareem Sahar, Shaiful Alam Chowdhury, Alexander William Wong, Abram Hindle, Karim Ali
2018 J jnl
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact).
Dagstuhl Artifacts Ser.
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2018 A conf
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
ECOOP
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2018 J jnl
Debugging Static Analysis.
CoRR
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
2018 — conf
VISUFLOW: a debugging environment for static analyses.
ICSE (Companion Volume)
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
2017 — conf
Cheetah: just-in-time taint analysis for Android apps.
ICSE (Companion Volume)
Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill
2017 A* conf
CogniCrypt: supporting developers in using cryptography.
ASE
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
2017 — conf
Compiler-driven performance.
CASCON
Karim Ali, Andrew Craik, Bardia Mahjour, Gregor Richards
2017 J jnl
CrySL: Validating Correct Usage of Cryptographic APIs.
CoRR
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2017 C conf
Detecting Security Vulnerabilities in Object-Oriented PHP Programs.
SCAM
Mona Nashaat, Karim Ali, James Miller
2017 J jnl
IDE
Proc. ACM Program. Lang.
Johannes Späth, Karim Ali, Eric Bodden
2017 A conf
Just-in-time static analysis.
ISSTA
Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill
2017 J jnl
Lifting the curse of stringly-typed code.
PeerJ Prepr.
Eddie A. Santos, Karim Ali
2017 — ed.
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017
SOAP@PLDI
Karim Ali, Cristina Cifuentes
2016 J jnl
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact).
Dagstuhl Artifacts Ser.
Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden
2016 A conf
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.
ECOOP
Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden
2015 — conf
Towards secure integration of cryptographic software.
Onward!
Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini
2015 J jnl
Type-Based Call Graph Construction Algorithms for Scala.
ACM Trans. Softw. Eng. Methodol.
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
2014 A conf
Constructing Call Graphs of Scala Programs.
ECOOP
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
2014 — —
The Separate Compilation Assumption.
Karim Ali
2013 A conf
Averroes: Whole-Program Analysis without the Whole Program.
ECOOP
Karim Ali, Ondrej Lhoták
2012 A conf
Application-Only Call Graph Construction.
ECOOP
Karim Ali, Ondrej Lhoták