Cover Image

Validation of correctness of autotuning code transformations with rewriting rules technique

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

Full description

Saved in:

Bibliographic Details
Date:	2020
Main Author:	Ivanenko, P.A.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2020
Subjects:	automation of parallel program optimization autotuning algebra-dynamic models rewriting rules technique validation of code transformations correctness UDC 004.4`2
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/429
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Improving performance of Python code using rewriting rules technique
by: Zhereb, K.A.
Published: (2020)

Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)

Validation of correctness of autotuning code transformations with rewriting rules technique
by: P. A. Ivanenko
Published: (2020)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
by: Doroshenko, А.Yu., et al.
Published: (2018)

Hybrid autotuning model with statistic modelling
by: Doroshenko, А.Yu., et al.
Published: (2018)

Розпаралелювання програм на фортрані з використанням техніки переписувальних правил
by: Doroshenko, A.Yu., et al.
Published: (2015)

Context term calculus for rewriting systems
by: Shevchenko, R.S.
Published: (2018)

Static analysis of .NET programs using rewriting rules
by: Mamedov, T.A., et al.
Published: (2020)

TermWare3 – term rewriting system, based on context-term calculus
by: Shevchenko, R.S., et al.
Published: (2019)

A method of tuning programs on .Net platform with rewriting rules
by: Mamedov, T.A., et al.
Published: (2019)

Formalization of the mathematical modeling process of adaptive change of code structure in wireless data transmission
by: Horlynskyi, Borys V., et al.
Published: (2019)

SUBSTANTIATION OF THE BRINE EVAPORATION ASSESSMENT VALIDITY FOR THE EASTERN BASIN OF SAKY LAKE
by: Sitnikov, A.B., et al.
Published: (2017)

The method of parametric adaptation of the check polynomials of the component recursive systematic convulsion code turbo code
by: Kurbet, Pavlo M., et al.
Published: (2024)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

Jupyter Notebook: a system for interactive scientific computing
by: Yakimchik, A. I.
Published: (2019)

Extended binary Golay codes by a group algebra
by: Bortos, Maria Yu., et al.
Published: (2024)

Automated system for calgulating corrective loads and predicting vibration during dynamic balancing of turbines
by: Trykush, N. P., et al.
Published: (2018)

A new approach to the application of conflict redistribution rule in Satellite Image Classification
by: Alpert, Sofiia
Published: (2020)

Automated generation of parallel programs for graphics processing units based on algorithm schemes
by: Doroshenko, А.Yu., et al.
Published: (2017)

Architecture of software system for hierarchical fuzzy inference
by: Yershov, S.V., et al.
Published: (2018)

Improving performance of Python code using rewriting rules technique
by: K. A. Zhereb
Published: (2020)

Analysis of “mixing” combination rules and Smet’s combination rule
by: Alpert, Sofiia
Published: (2019)

Factor Analysis Based on Association Rules
by: Zayko, T. A., et al.
Published: (2014)

Autotuner and visualization for meteorological forecasting model
by: Ivanenko, P.A., et al.
Published: (2025)

Automated generation of programs for a class of parametric neuroevolution algorithms
by: Doroshenko, A.Yu., et al.
Published: (2023)

Static analysis of .NET programs using rewriting rules
by: H. A. Mamedov, et al.
Published: (2020)

Automated design of programs for .NET platform using Task Parallel Library
by: Doroshenko, А.Yu., et al.
Published: (2020)

Central and non central codes of dihedral 2-groups
by: Gupta, S., et al.
Published: (2022)

A method of tuning programs on .Net platform with rewriting rules
by: T. A. Mamedov, et al.
Published: (2019)

Hydrocarbon deposit mapping validation by the means of ground-based spectrometry, remote sensing and geophysical data
by: Titarenko, Olga
Published: (2019)

DRAFT OF THE UPDATED VERSION OF THE STRATIGRAPHIC CODE OF UKRAINE (2012) ON TYPES OF STRATIGRAPHIC SCALES AND SCHEMES, AS WELL AS RULES FOR THE PREPARATION AND APPROVAL OF STRATIGRAPHIC SCHEMES
by: Вернигорова, Ю.В.
Published: (2024)

Hybrid autotuning model with statistic modelling
by: Yu. Doroshenko, et al.
Published: (2016)

Correctness Property Proof for the Banking System for Money Transfer Payments
by: Ostapovska, Yu.A., et al.
Published: (2018)

Construction of self-dual binary \([2^{2k},2^{2k-1},2^k]\)-codes
by: Hannusch, Carolin, et al.
Published: (2016)

Defining of cloud service priority for dynamic creating WAF rules
by: Malinich, I.P., et al.
Published: (2026)

Method of adaptation of cascade codes to ensure reliability of information transmission of wireless data transmission systems
by: Zaitsev, Serhii V., et al.
Published: (2023)

Optimization of autotuning of programs using neural networks
by: Yu. Doroshenko, et al.
Published: (2017)

Peterson’s algorithm Total correctness proof in IPCL
by: Zhygallo, A.A.
Published: (2018)

Encoding algorithms of information objects in the code of conditional deductions
by: Matov, O. Ya., et al.
Published: (2015)

Semisimple group codes and dihedral codes
by: Dutra, Flaviana S., et al.
Published: (2018)