Urmăriți
Karim Ali
Karim Ali
Associate Professor, NYU Abu Dhabi
Adresă de e-mail confirmată pe nyu.edu - Pagina de pornire
Titlu
Citat de
Citat de
Anul
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
S Krüger, J Späth, K Ali, E Bodden, M Mezini
IEEE Transactions on Software Engineering 47 (11), 2382-2400, 2019
1442019
Boomerang: Demand-driven flow-and context-sensitive pointer analysis for java
J Späth, L Nguyen Quang Do, K Ali, E Bodden
30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016
1402016
Application-only call graph construction
K Ali, O Lhoták
European Conference on Object-Oriented Programming, 688-712, 2012
1352012
Cognicrypt: Supporting developers in using cryptography
S Krüger, S Nadi, M Reif, K Ali, M Mezini, E Bodden, F Göpfert, F Günther, ...
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
1252017
Averroes: Whole-Program Analysis without the Whole Program
K Ali, O Lhoták
1012013
Context-, flow-, and field-sensitive data-flow analysis using synchronized pushdown systems
J Späth, K Ali, E Bodden
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
852019
Just-in-time static analysis
LNQ Do, K Ali, B Livshits, E Bodden, J Smith, E Murphy-Hill
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
852017
Why do software developers use static analysis tools? a user-centered study of developer needs and motivations
LNQ Do, JR Wright, K Ali
IEEE Transactions on Software Engineering 48 (3), 835-847, 2020
582020
What do developers know about machine learning: a study of ml discussions on stackoverflow
AA Bangash, H Sahar, S Chowdhury, AW Wong, A Hindle, K Ali
2019 IEEE/ACM 16th International Conference on Mining Software Repositories …, 2019
552019
Towards secure integration of cryptographic software
S Arzt, S Nadi, K Ali, E Bodden, S Erdweg, M Mezini
2015 ACM International Symposium on New Ideas, New Paradigms, and …, 2015
462015
On the time-based conclusion stability of cross-project defect prediction models
AA Bangash, H Sahar, A Hindle, K Ali
Empirical Software Engineering 25 (6), 5047-5083, 2020
412020
IDEal: efficient and precise alias-aware dataflow analysis
J Späth, K Ali, E Bodden
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-27, 2017
362017
Debugging static analysis
LNQ Do, S Krüger, P Hill, K Ali, E Bodden
IEEE Transactions on Software Engineering 46 (7), 697-709, 2018
212018
A study of call graph construction for JVM-hosted languages
K Ali, X Lai, Z Luo, O Lhoták, J Dolby, F Tip
IEEE transactions on software engineering 47 (12), 2644-2666, 2019
202019
Constructing call graphs of Scala programs
K Ali, M Rapoport, O Lhoták, J Dolby, F Tip
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
162014
Cheetah: just-in-time taint analysis for android apps
LNQ Do, K Ali, B Livshits, E Bodden, J Smith, E Murphy-Hill
2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017
142017
Swan: A static analysis framework for swift
D Tiganov, J Cho, K Ali, J Dolby
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
112020
CogniCryptGEN: generating code for the secure usage of crypto APIs
S Krüger, K Ali, E Bodden
Proceedings of the 18th ACM/IEEE International Symposium on Code Generation …, 2020
112020
Type-based call graph construction algorithms for Scala
K Ali, M Rapoport, O Lhoták, J Dolby, F Tip
ACM Transactions on Software Engineering and Methodology (TOSEM) 25 (1), 1-43, 2015
112015
Energy efficient guidelines for ios core location framework
AA Bangash, D Tiganov, K Ali, A Hindle
2021 IEEE International Conference on Software Maintenance and Evolution …, 2021
102021
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20