Spyros Hadjichristodoulou

Learn 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