Karim Ali
Karim Ali
Assistant Professor, University of Alberta
Bestätigte E-Mail-Adresse bei ualberta.ca - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Application-only call graph construction
K Ali, O Lhoták
European Conference on Object-Oriented Programming, 688-712, 2012
892012
Averroes: Whole-Program Analysis without the Whole Program
K Ali, O Lhoták
702013
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
652016
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
442017
Crysl: An extensible approach to validating the correct usage of cryptographic apis
S Krüger, J Späth, K Ali, E Bodden, M Mezini
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
382018
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
372017
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
282015
IDEal: efficient and precise alias-aware dataflow analysis.
J Späth, K Ali, E Bodden
Proc. ACM Program. Lang. 1 (OOPSLA), 99:1-99:27, 2017
172017
Utilization of microcrystalline cellulose prepared from rice straw in manufacture of yoghurt
AMN Galal, AMH Fatma, KE Ali, MK Jihan, HSM Sahar
Journal of American Science 6 (10), 226-231, 2010
162010
The pathology of naturally-occurring bovine schistosomiasis in the Sudan
MF Hussein, G Tartour, SE Imbabi, KE Ali
Annals of Tropical Medicine & Parasitology 69 (2), 217-225, 1975
161975
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
132019
The pathology of experimental Schistosoma bovis infection in sheep
MF Hussein, HO Bushara, KE Ali
Journal of helminthology 50 (4), 235-241, 1976
131976
Constructing call graphs of Scala programs
K Ali, M Rapoport, O Lhoták, J Dolby, F Tip
European Conference on Object-Oriented Programming, 54-79, 2014
112014
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, 2019
8*2019
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
82019
Debugging static analysis
LNQ Do, S Krüger, P Hill, K Ali, E Bodden
IEEE Transactions on Software Engineering, 2018
82018
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
82017
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
82015
An implementation of the active contours without edges model and the logic framework for active contours on multi-channel images
K Ali, S Nadi
72010
The Separate Compilation Assumption
K Ali
University of Waterloo, 2014
62014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20