Karim Ali
Karim Ali
Assistant Professor, University of Alberta
Verified email at ualberta.ca - Homepage
TitleCited byYear
Application-only call graph construction
K Ali, O Lhoták
European Conference on Object-Oriented Programming, 688-712, 2012
792012
Averroes: Whole-Program Analysis without the Whole Program
K Ali, O Lhoták
642013
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
502016
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
252017
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, ...
Proceedings of the 32nd IEEE/ACM International Conference on Automated …, 2017
232017
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
222015
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
212018
Ide al: Efficient and precise alias-aware dataflow analysis
J Späth, K Ali, E Bodden
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 99, 2017
112017
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
92014
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
72017
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), 9, 2015
72015
The Separate Compilation Assumption
K Ali
University of Waterloo, 2014
62014
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), 48, 2019
52019
An Implementation of the Active Contours without Edges model and the Logic Framework for Active contours on multi-channel images
K Ali, S Nadi
52010
P2P-AIS: a P2P artificial immune systems architecture for detecting DDoS flooding attacks
K Ali, I Aib, R Boutaba
2009 Global Information Infrastructure Symposium, 1-4, 2009
42009
A Case for Better Integration of Host and Target Compilation When Using OpenCL for FPGAs
T Lloyd, A Chikin, E Ochoa, K Ali, JN Amaral
FSP 2017; Fourth International Workshop on FPGAs for Software Programmers, 1-9, 2017
32017
Debugging Static Analysis
LNQ Do, S Krüger, P Hill, K Ali, E Bodden
IEEE Transactions on Software Engineering, 2018
22018
VISUFLOW: a debugging environment for static analyses
LNQ Do, S Krüger, P Hill, K Ali, E Bodden
Proceedings of the 40th International Conference on Software Engineering …, 2018
12018
Toward a just-in-time static analysis
LNQ Do, K Ali, E Bodden, B Livshits
Technical Report TUD-CS-2015-1167, Technische Universität Darmstadt, 2015
12015
Evaluating Call Graph Construction for JVM-hosted Language Implementations
X Lai, Z Luo, K Ali, O Lhoták, J Dolby, F Tip
Technical Report CS-2015-03. University of Waterloo, David R. Cheriton …, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–20