loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Rakshit Mittal 1 ; 2 ; Rochishnu Banerjee 1 ; Dominique Blouin 3 ; 2 and Soumyadip Bandyopadhyay 1 ; 3

Affiliations: 1 Birla Institute of Technology and Science Pilani, KK Birla Goa Campus, Goa, India ; 2 Telecom Paris, Institut Polytechnique de Paris, Paris, France ; 3 Hasso Plattner Institut, Potsdam, Germany

Keyword(s): Translation Validation, Equivalence Checking, Colored Petri Net, Z3 Theorem Prover.

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.16.203.149

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - ICSOFT; ISBN 978-989-758-523-4; ISSN 2184-2833, SciTePress, pages 533-541. DOI: 10.5220/0010581005330541

@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 - ICSOFT},
year={2021},
pages={533-541},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010581005330541},
isbn={978-989-758-523-4},
issn={2184-2833},
}

TY - CONF

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic