Validation of correctness of autotuning code transformations with rewriting rules technique

P.A. Ivanenko


Article presents an approach to correctness validation of autotuning optimizational transformations. Autotuner is considered as dynamic discrete system and validation is reduced to verification of characteristic of equivalence by result of representation of initial and optimized program versions in autotuning formal model. In partial cases this validation can be done automatically using source code and rewriting rules technique.

Problems in programming 2020; 2-3: 368-374


automation of parallel program optimization; autotuning; algebra-dynamic models; rewriting rules technique; validation of code transformations correctness


Andon P.I., Doroshenko A.Y., Zhereb K.A., Yatsenko O.A. Algebra-Algorithmic Models and Methods of Parallel Programming. Kyiv: Akadem- periodyka, 2018. 192 p. (in Ukrainian). CrossRef

Ivanenko P.A., Doroshenko A.Y. Method of Automated Generation of Autotuners for Parallel Programs. Cybernetics and Systems Analysis. 2014. N 3. P.75-83. (in Russian). CrossRef

TermWare (in Russian).

Doroshenko A.Y., Shevchenko R.S. System of symbolic calculations for dynamic applications programming. Problems in programming. 2005. N 4. P. 718-727. (in Ukrainian).

TermWare tutorial, /tutorial_rus.html. (in Russian).

Chernysh R.I. Modified additive-averaged decomposition method, it's parallel implementation and application to meteorology tasks. (2010): abstract of dissertation of candidate of science in Physics and Math. Kyiv: Taras Shevchenko National University of Kyiv. (in Ukrainian).

Hlushkov V.M., Algebra. Languages. Programming (1989), 3rd edition. Kyiv: Naukova dumka. 376 p. (in Russian)

Doroshenko А.Y., Beketov, Zhereb K.A., Ivanenko P.A., Ovdii О.М., Shevchenko R.S., Yatsenko O.A. Formal and adaptive methods and software tools of parallel programming. Problems in programming. 2017. N 3. P. 19-30. (in Ukrainian). CrossRef

Doroshenko А.Y., Ivanenko О.М. Ovdii O.A. Yatsenko. Automated program design for solution of weather forecasting problem. Problems in programming. 2016. N 1. P. 102-115. (in Ukrainian) CrossRef



  • There are currently no refbacks.