Spyros Hadjichristodoulou

Learn More
During the last decade, where computational power has increased dramatically, and the use of the Internet plays a very important role both in our every day lives and in the evolution of Computer Science as we know it, two new terms have emerged; grid and cloud computing. The former refers to the combination of computer resources from multiple administrative(More)
In this paper we investigate XSB-Prolog as a static analysis engine for data represented by medium-sized graphs. We use XSB-Prolog to automatically identify function dependencies in the Linux Kernel— queries that are difficult to implement efficiently in a commodity database and that developers often have to identify manually. This project illustrates that(More)
  • 1