Author image not provided
 Karim Ali

Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article8.20
Citation Count41
Publication count5
Publication years2012-2015
Available for download2
Average downloads per article171.00
Downloads (cumulative)342
Downloads (12 Months)99
Downloads (6 Weeks)7
Arrow RightAuthor only

See all colleagues of this author


5 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 5 of 5
Sort by:

1 published by ACM
December 2015 ACM Transactions on Software Engineering and Methodology (TOSEM): Volume 25 Issue 1, December 2015
Publisher: ACM
Citation Count: 0
Downloads (6 Weeks): 4,   Downloads (12 Months): 46,   Downloads (Overall): 218

Full text available: PDFPDF
Call graphs have many applications in software engineering. For example, they serve as the basis for code navigation features in integrated development environments and are at the foundation of static analyses performed in verification tools. While many call graph construction algorithms have been presented in the literature, we are not ...
Keywords: Scala, Call graphs, static analysis

2 published by ACM
October 2015 Onward! 2015: 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)
Publisher: ACM
Citation Count: 5
Downloads (6 Weeks): 3,   Downloads (12 Months): 53,   Downloads (Overall): 124

Full text available: PDFPDF
While cryptography is now readily available to everyone and can, provably, protect private information from attackers, we still frequently hear about major data leakages, many of which are due to improper use of cryptographic mechanisms. The problem is that many application developers are not cryptographic experts. Even though high-quality cryptographic ...
Keywords: cryptography, API protocols, typestate analysis, Software product lines

August 2014 Proceedings of the 28th European Conference on ECOOP 2014 --- Object-Oriented Programming - Volume 8586
Publisher: Springer-Verlag New York, Inc.
Citation Count: 0

As Scala gains popularity, there is growing interest in programming tools for it. Such tools often require call graphs. However, call graph construction algorithms in the literature do not handle Scala features, such as traits and abstract type members. Applying existing call graph construction algorithms to the JVM bytecodes generated ...

July 2013 ECOOP'13: Proceedings of the 27th European conference on Object-Oriented Programming
Publisher: Springer-Verlag
Citation Count: 16

Call graph construction for object-oriented programs is often difficult and expensive. Most sound and precise algorithms analyze the whole program including all library dependencies. The separate compilation assumption makes it possible to generate sound and reasonably precise call graphs without analyzing libraries. We investigate whether the separate compilation assumption can ...

June 2012 ECOOP'12: Proceedings of the 26th European conference on Object-Oriented Programming
Publisher: Springer-Verlag
Citation Count: 16

Since call graphs are an essential starting point for all inter-procedural analyses, many tools and frameworks have been developed to generate the call graph of a given program. The majority of these tools focus on generating the call graph of the whole program (i.e., both the application and the libraries ...

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us