default search action

combined dblp search
author search
venue search
publication search

ask others

Karim Ali 0001

> Home > Persons

Person information

affiliation: NYU Abu Dhabi, UAE
affiliation (former): University of Alberta, Department of Computing Science, Edmonton, AB, Canada
affiliation (former): TU Darmstadt, CASED, Germany

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2014
[b1]
- view
  - electronic edition via handle.net
  - details & citations
  authority control:
- export record
  dblp key:
  - phd/basesearch/Ali14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Ali14a
Karim Ali:
The Separate Compilation Assumption. University of Waterloo, Ontario, Canada, 2014

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/programming/SchwerterGHA25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/programming/SchwerterGHA25
Felipe Bañados Schwerter, Ronald Garcia, Reid Holmes, Karim Ali:
Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors. Art Sci. Eng. Program. 10(1) (2025)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/suscom/AragonJuradoBDAHR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/suscom/AragonJuradoBDAHR25
José Miguel Aragón-Jurado, Abdul Ali Bangash, Bernabé Dorronsoro, Karim Ali, Abram Hindle, Patricia Ruiz:
Does faster mean greener? Runtime and energy trade-offs in iOS applications with compiler optimizations. Sustain. Comput. Informatics Syst. 47: 101166 (2025)
2022
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/TiganovD022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/TiganovD022
Daniil Tiganov, Lisa Nguyen Quang Do, Karim Ali:
Designing UIs for static-analysis tools. Commun. ACM 65(2): 52-58 (2022)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/DoWA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/DoWA22
Lisa Nguyen Quang Do, James R. Wright, Karim Ali:
Why Do Software Developers Use Static Analysis Tools? A User-Centered Study of Developer Needs and Motivations. IEEE Trans. Software Eng. 48(3): 835-847 (2022)
2021
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/queue/TiganovDA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/queue/TiganovDA21
Daniil Tiganov, Lisa Nguyen Quang Do, Karim Ali:
Designing UIs for Static Analysis Tools: Evaluating tool design guidelines with SWAN. ACM Queue 19(4): 97-118 (2021)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/KrugerSABM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/KrugerSABM21
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Trans. Software Eng. 47(11): 2382-2400 (2021)
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tse/AliLLLDT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/AliLLLDT21
Karim Ali, Xiaoni Lai, Zhaoyi Luo, Ondrej Lhoták, Julian Dolby, Frank Tip:
A Study of Call Graph Construction for JVM-Hosted Languages. IEEE Trans. Software Eng. 47(12): 2644-2666 (2021)
2020
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/BangashSHA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/BangashSHA20
Abdul Ali Bangash, Hareem Sahar, Abram Hindle, Karim Ali:
On the time-based conclusion stability of cross-project defect prediction models. Empir. Softw. Eng. 25(6): 5047-5083 (2020)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/DoKH0B20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/DoKH0B20
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden:
Debugging Static Analysis. IEEE Trans. Software Eng. 46(7): 697-709 (2020)
2019
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/SpathAB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/SpathAB19
Johannes Späth, Karim Ali, Eric Bodden:
Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems. Proc. ACM Program. Lang. 3(POPL): 48:1-48:29 (2019)
2018
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/darts/KrugerSABM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/KrugerSABM18
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact). Dagstuhl Artifacts Ser. 4(3): 06:1-06:4 (2018)
2017
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/SpathAB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/SpathAB17
Johannes Späth, Karim Ali, Eric Bodden:
IDE^al: efficient and precise alias-aware dataflow analysis. Proc. ACM Program. Lang. 1(OOPSLA): 99:1-99:27 (2017)
2016
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/darts/SpathDAB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/SpathDAB16
Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden:
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact). Dagstuhl Artifacts Ser. 2(1): 12:1-12:2 (2016)
2015
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/AliRLDT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/AliRLDT15
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip:
Type-Based Call Graph Construction Algorithms for Scala. ACM Trans. Softw. Eng. Methodol. 25(1): 9:1-9:43 (2015)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-gas/ChoA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-gas/ChoA23
Jeff Cho, Karim Ali:
Exploring Quality Assurance Practices and Tools for Indie Games. GAS 2023: 16-24
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/HeMB0WC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/HeMB0WC23
Jiaqi He, Revan MacQueen, Natalie Bombardieri, Karim Ali, James R. Wright, Cristina Cifuentes:
Finding an Optimal Set of Static Analyzers To Detect Software Vulnerabilities. ICSME 2023: 463-473
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/BangashEQAH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/BangashEQAH23
Abdul Ali Bangash, Kalvin Eng, Jamal Qasim, Karim Ali, Abram Hindle:
Energy Consumption Estimation of API-usage in Smartphone Apps via Static Analysis. MSR 2023: 272-283
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/secdev/KrugerRWNABAMF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secdev/KrugerRWNABAMF23
Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl:
Securing Your Crypto-API Usage Through Tool Support - A Usability Study. SecDev 2023: 14-25
2022
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cascon/GulamiJN0CJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cascon/GulamiJN0CJ22
Mansur Gulami, Ajay Kumar Jha, Sarah Nadi, Karim Ali, Yee-Kang Chang, Emily Jiang:
A Human-in-the-loop Approach to Generate Annotation Usage Rules. CASCON 2022: 91-100
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BangashAH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BangashAH22
Abdul Ali Bangash, Karim Ali, Abram Hindle:
Black Box Technique to Reduce Energy Consumption of Android Apps. ICSE (NIER) 2022: 1-5
2021
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/cascon/Newbury0C21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cascon/Newbury0C21
Kristen Newbury, Karim Ali, Andrew Craik:
Hotfixing misuses of crypto APIs in Java programs. CASCON 2021: 73-82
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/cascon/OchoaX0CA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cascon/OchoaX0CA21
Erick Ochoa, Cijie Xia, Karim Ali, Andrew Craik, José Nelson Amaral:
U can't inline this! CASCON 2021: 173-182
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/BangashT0H21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/BangashT0H21
Abdul Ali Bangash, Daniil Tiganov, Karim Ali, Abram Hindle:
Energy Efficient Guidelines for iOS Core Location Framework. ICSME 2021: 320-331
2020
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/cgo/KrugerAB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cgo/KrugerAB20
Stefan Krüger, Karim Ali, Eric Bodden:
CogniCrypt_GEN: generating code for the secure usage of crypto APIs. CGO 2020: 185-198
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/TiganovC0D20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/TiganovC0D20
Daniil Tiganov, Jeff Cho, Karim Ali, Julian Dolby:
SWAN: a static analysis framework for swift. ESEC/SIGSOFT FSE 2020: 1640-1644
2019
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/ChikinAAT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/ChikinAAT19
Artem Chikin, José Nelson Amaral, Karim Ali, Ettore Tiotto:
Toward an Analytical Performance Model to Select between GPU and CPU Execution. IPDPS Workshops 2019: 353-362
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/BangashSCWHA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/BangashSCWHA19
Abdul Ali Bangash, Hareem Sahar, Shaiful Alam Chowdhury, Alexander William Wong, Abram Hindle, Karim Ali:
What do developers know about machine learning: a study of ML discussions on StackOverflow. MSR 2019: 260-264
2018
[c12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/KrugerS0BM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/KrugerS0BM18
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. ECOOP 2018: 10:1-10:27
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DoKH0B18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DoKH0B18
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden:
VISUFLOW: a debugging environment for static analyses. ICSE (Companion Volume) 2018: 89-92
2017
[c10]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/cascon/AliCMR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cascon/AliCMR07
Karim Ali, Andrew Craik, Bardia Mahjour, Gregor Richards:
Compiler-driven performance. CASCON 2017: 328
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DoALBSM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DoALBSM17
Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill:
Cheetah: just-in-time taint analysis for Android apps. ICSE (Companion Volume) 2017: 39-42
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/DoALBSM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/DoALBSM17
Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill:
Just-in-time static analysis. ISSTA 2017: 307-317
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/KrugerNRAMBGGWD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/KrugerNRAMBGGWD17
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:
CogniCrypt: supporting developers in using cryptography. ASE 2017: 931-936
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/NashaatAM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/NashaatAM17
Mona Nashaat, Karim Ali, James Miller:
Detecting Security Vulnerabilities in Object-Oriented PHP Programs. SCAM 2017: 159-164
2016
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/SpathDAB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/SpathDAB16
Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden:
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. ECOOP 2016: 22:1-22:26
2015
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ArztNABEM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ArztNABEM15
Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini:
Towards secure integration of cryptographic software. Onward! 2015: 1-13
2014
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AliRLDT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AliRLDT14
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip:
Constructing Call Graphs of Scala Programs. ECOOP 2014: 54-79
2013
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AliL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AliL13
Karim Ali, Ondrej Lhoták:
Averroes: Whole-Program Analysis without the Whole Program. ECOOP 2013: 378-400
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AliL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AliL12
Karim Ali, Ondrej Lhoták:
Application-Only Call Graph Construction. ECOOP 2012: 688-712

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2023
[e3]
- view
- export record
  dblp key:
  - conf/ecoop/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/2023
Karim Ali, Guido Salvaneschi:
37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States. LIPIcs 263, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-281-5 [contents]
2022
[e2]
- view
- export record
  dblp key:
  - conf/ecoop/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/2022
Karim Ali, Jan Vitek:
36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany. LIPIcs 222, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-225-9 [contents]
2017
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/2017soap
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/2017soap
Karim Ali, Cristina Cifuentes:
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017. ACM 2017, ISBN 978-1-4503-5072-3 [contents]

Data and Artifacts

see FAQ

What is the meaning of the colors in the publication lists?

2023
[d3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/KrugerRWNABAF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/KrugerRWNABAF23
Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Sascha Fahl:
Securing Your Crypto-API Usage Through Tool Support - A Usability Study. Zenodo, 2023
2022
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/DoKHAB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/DoKHAB22
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden:
Debugging Static Analysis. IEEE DataPort, 2022
2020
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/KrugerSAB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/KrugerSAB20
Stefan Krüger, André Sonntag, Karim Ali, Eric Bodden:
CogniCrypt_GEN - Generating Code for the Secure Use of Crypto APIs (Artefact). Zenodo, 2020

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2025
[i6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2502-20533
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2502-20533
Felipe Bañados Schwerter, Ronald Garcia, Reid Holmes, Karim Ali:
Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors. CoRR abs/2502.20533 (2025)
2020
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2012-00817
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-00817
Revan MacQueen, Nicholas Bombardieri, James R. Wright, Karim Ali:
Game Theoretic Malware Detection. CoRR abs/2012.00817 (2020)
2019
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-06348
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-06348
Abdul Ali Bangash, Hareem Sahar, Abram Hindle, Karim Ali:
On the Time-Based Conclusion Stability of Software Defect Prediction Models. CoRR abs/1911.06348 (2019)
2018
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1801-04894
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-04894
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden:
Debugging Static Analysis. CoRR abs/1801.04894 (2018)
2017
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1710-00564
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-00564
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: Validating Correct Usage of Cryptographic APIs. CoRR abs/1710.00564 (2017)
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/peerjpre/SantosA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/peerjpre/SantosA17
Eddie A. Santos, Karim Ali:
Lifting the curse of stringly-typed code. PeerJ Prepr. 5: e2723 (2017)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.