Utilizing model checking for automated optimization information discovery in InDiGO

Valeriy Kolesnikov, Gurdip Singh

Research output: Chapter in Book/Entry/PoemConference contribution

3 Scopus citations

Abstract

InDiGO framework provides an infrastructure which allows design of generic but customizable algorithms encapsulated as middleware services and provides tools to customize such algorithms for specific applications. Such customization allows one to optimize algorithms by removing communication which is redundant in the context of a specific application. Information necessary for optimization is derived by running queries of interest on the application abstraction. Each new query requires a new algorithm to be written that would operate on the application abstraction to give a yes or no answer. In this paper, we describe a different approach to answer the queries. It uses model checking and is fully automated. It also allows to answer the queries precisely as well as to verify more general properties. We present experimental results to demonstrate the optimizations when our infrastructure is utilized.

Original languageEnglish (US)
Title of host publication8th International Symposium on Parallel and Distributed Computing, ISPDC 2009
Pages91-98
Number of pages8
DOIs
StatePublished - 2009
Externally publishedYes
Event8th International Symposium on Parallel and Distributed Computing, ISPDC 2009 - Lisbon, Portugal
Duration: Jun 30 2009Jul 4 2009

Publication series

Name8th International Symposium on Parallel and Distributed Computing, ISPDC 2009

Other

Other8th International Symposium on Parallel and Distributed Computing, ISPDC 2009
Country/TerritoryPortugal
CityLisbon
Period6/30/097/4/09

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Computer Science Applications
  • Hardware and Architecture
  • Software

Fingerprint

Dive into the research topics of 'Utilizing model checking for automated optimization information discovery in InDiGO'. Together they form a unique fingerprint.

Cite this