Karim Ali - RankMe

52 papers A* 2A 13C 1Journal 22Unranked 12

Year	Rank	Type	Title / 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