Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets

Rakshit Mittal, Rochishnu Banerjee, Dominique Blouin, Soumyadip Bandyopadhyay

2021

Abstract

Software applications often require the transformation of an input source program into a translated one for optimization. In this process, preserving the semantics across the transformation also called equivalence checking is essential. In this paper, we present ongoing work on a novel translation validation technique for handling loop transformations such as loop swapping and distribution, which cannot be handled by state-of-the-art equivalence checkers. The method makes use of a reduced size Petri net model integrating SMT solvers for validating arithmetic transformations. The approach is illustrated with two simple programs and further validated with a programs benchmark.

Paper Citation

in Harvard Style

Mittal R., Banerjee R., Blouin D. and Bandyopadhyay S. (2021). Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets. In Proceedings of the 16th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-523-4, pages 533-541. DOI: 10.5220/0010581005330541

in Bibtex Style

@conference{icsoft21,
author={Rakshit Mittal and Rochishnu Banerjee and Dominique Blouin and Soumyadip Bandyopadhyay},
title={Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets},
booktitle={Proceedings of the 16th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2021},
pages={533-541},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010581005330541},
isbn={978-989-758-523-4},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 16th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets
SN - 978-989-758-523-4
AU - Mittal R.
AU - Banerjee R.
AU - Blouin D.
AU - Bandyopadhyay S.
PY - 2021
SP - 533
EP - 541
DO - 10.5220/0010581005330541