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)

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

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

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)

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

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)

A method of tuning programs on .Net platform with rewriting rules
by: Mamedov, T.A., 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)

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

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

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

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

Analysis of “mixing” combination rules and Smet’s combination rule
by: Alpert, Sofiia
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)

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

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

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

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)

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

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

Protection of information objects from intentional collisions of inspection characteristics in error-correcting codes
by: Mаtоv, O. Y., et al.
Published: (2016)

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

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

Features of Software Solutions in the Field of Verification and Validation of Numerical Models
by: Гейко, О. О., et al.
Published: (2025)

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

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

On various parameters of \(\mathbb{Z}_q\)-simplex codes for an even integer \(q\)
by: Pandian, P. Chella, et al.
Published: (2015)

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

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

Procedure of «zeroing» under control and restore the integrity of data objects in the code of conditional deductions
by: Mаtоv, O. Y., et al.
Published: (2015)

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

Isodual and self-dual codes from graphs
by: Mallik, S., et al.
Published: (2021)

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)

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