TY - GEN
T1 - Utilizing model checking for automated optimization information discovery in InDiGO
AU - Kolesnikov, Valeriy
AU - Singh, Gurdip
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=74349123316&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=74349123316&partnerID=8YFLogxK
U2 - 10.1109/ISPDC.2009.22
DO - 10.1109/ISPDC.2009.22
M3 - Conference contribution
AN - SCOPUS:74349123316
SN - 9780769536804
T3 - 8th International Symposium on Parallel and Distributed Computing, ISPDC 2009
SP - 91
EP - 98
BT - 8th International Symposium on Parallel and Distributed Computing, ISPDC 2009
T2 - 8th International Symposium on Parallel and Distributed Computing, ISPDC 2009
Y2 - 30 June 2009 through 4 July 2009
ER -