Efficient program analyses using deductive and semantic methodologies

Ganesh Selvaraj, Gerald Weber, Christof Lutteroth

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

1 Citation (SciVal)


Program analysis is the process of gathering deeper insights about a source code and analysing them to resolve software problems of arbitrary complexity. The key challenge in program analysis is to keep it fast, precise and straightforward. This research focuses on three key objectives to achieve an efficient program analysis: (i) expressive data representation, (ii) optimised data structure and (iii) fast data processing mechanisms. State of the art technologies such as Resource Description Framework (RDF) as data representation format, triplestores as the storage & processing layer, and datalog to represent program analysis rules are considered in our research. diagram(BDD) to be embedded in the triplestore. Additionally, an ontology is being designed to standardise the definitions of concepts and representation of the knowledge in the program analysis domain.

Original languageEnglish
Title of host publicationProceedings - 13th IEEE International Conference on eScience, eScience 2017
Number of pages2
ISBN (Electronic)9781538626863
Publication statusPublished - 14 Nov 2017
Event13th IEEE International Conference on eScience, eScience 2017 - Auckland, New Zealand
Duration: 24 Oct 201727 Oct 2017


Conference13th IEEE International Conference on eScience, eScience 2017
Country/TerritoryNew Zealand


  • declarative program analysis
  • incremental program analysis
  • semantics and graph based program analysis

ASJC Scopus subject areas

  • Agricultural and Biological Sciences (miscellaneous)
  • Biochemistry, Genetics and Molecular Biology (miscellaneous)
  • Computer Networks and Communications
  • Computer Science Applications
  • Computers in Earth Sciences
  • Social Sciences (miscellaneous)


Dive into the research topics of 'Efficient program analyses using deductive and semantic methodologies'. Together they form a unique fingerprint.

Cite this