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

Rakshit Mittal, Rakshit Mittal, Rochishnu Banerjee, Dominique Blouin, Dominique Blouin, Soumyadip Bandyopadhyay, 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