Efficient program analyses using deductive and semantic methodologies

Ganesh Selvaraj, Gerald Weber, Christof Lutteroth

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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
PublisherIEEE
Pages440-441
Number of pages2
ISBN (Electronic)9781538626863
DOIs
Publication statusPublished - 14 Nov 2017
Event13th IEEE International Conference on eScience, eScience 2017 - Auckland, New Zealand
Duration: 24 Oct 201727 Oct 2017

Conference

Conference13th IEEE International Conference on eScience, eScience 2017
CountryNew Zealand
CityAuckland
Period24/10/1727/10/17

Fingerprint

Semantics
semantics
methodology
Research
Ontology
Data structures
Software
Technology
Processing
research focus
ontology
diagram
analysis programme
programme
software
resource
resources
7,7'-dimethoxy-(4,4'-bi-1,3-benzodioxole)-5,5'-dicarboxylic acid dimethyl ester

Keywords

  • 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)

Cite this

Selvaraj, G., Weber, G., & Lutteroth, C. (2017). Efficient program analyses using deductive and semantic methodologies. In Proceedings - 13th IEEE International Conference on eScience, eScience 2017 (pp. 440-441). [8109166] IEEE. https://doi.org/10.1109/eScience.2017.61

Efficient program analyses using deductive and semantic methodologies. / Selvaraj, Ganesh; Weber, Gerald; Lutteroth, Christof.

Proceedings - 13th IEEE International Conference on eScience, eScience 2017. IEEE, 2017. p. 440-441 8109166.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Selvaraj, G, Weber, G & Lutteroth, C 2017, Efficient program analyses using deductive and semantic methodologies. in Proceedings - 13th IEEE International Conference on eScience, eScience 2017., 8109166, IEEE, pp. 440-441, 13th IEEE International Conference on eScience, eScience 2017, Auckland, New Zealand, 24/10/17. https://doi.org/10.1109/eScience.2017.61
Selvaraj G, Weber G, Lutteroth C. Efficient program analyses using deductive and semantic methodologies. In Proceedings - 13th IEEE International Conference on eScience, eScience 2017. IEEE. 2017. p. 440-441. 8109166 https://doi.org/10.1109/eScience.2017.61
Selvaraj, Ganesh ; Weber, Gerald ; Lutteroth, Christof. / Efficient program analyses using deductive and semantic methodologies. Proceedings - 13th IEEE International Conference on eScience, eScience 2017. IEEE, 2017. pp. 440-441
@inproceedings{f51ecdfdb9fc4a3b9bf02278c385130a,
title = "Efficient program analyses using deductive and semantic methodologies",
abstract = "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.",
keywords = "declarative program analysis, incremental program analysis, semantics and graph based program analysis",
author = "Ganesh Selvaraj and Gerald Weber and Christof Lutteroth",
year = "2017",
month = "11",
day = "14",
doi = "10.1109/eScience.2017.61",
language = "English",
pages = "440--441",
booktitle = "Proceedings - 13th IEEE International Conference on eScience, eScience 2017",
publisher = "IEEE",
address = "USA United States",

}

TY - GEN

T1 - Efficient program analyses using deductive and semantic methodologies

AU - Selvaraj, Ganesh

AU - Weber, Gerald

AU - Lutteroth, Christof

PY - 2017/11/14

Y1 - 2017/11/14

N2 - 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.

AB - 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.

KW - declarative program analysis

KW - incremental program analysis

KW - semantics and graph based program analysis

UR - http://www.scopus.com/inward/record.url?scp=85043793891&partnerID=8YFLogxK

U2 - 10.1109/eScience.2017.61

DO - 10.1109/eScience.2017.61

M3 - Conference contribution

SP - 440

EP - 441

BT - Proceedings - 13th IEEE International Conference on eScience, eScience 2017

PB - IEEE

ER -