What is it about?
Verifying whether two programs are equivalent or not is a tough problem to solve. The problem is made further complex when the programs have parallelized code running on multiple threads. We show in this paper how such situations may be handled.
Featured Image
Photo by Joan Gamell on Unsplash
Why is it important?
Prior to this work, handling data-race detection was the missing piece in our end-to-end solution for doing equivalence checking between programs that primarily involved arrays. With the completion of this work, our final objective is achieved.
Perspectives
I hope this work helps researchers and practiioners interested in program equivalence checking reach their goals.
Kunal Banerjee
Walmart
Read the Original
This page is a summary of: Data-race detection: the missing piece for an end-to-end semantic equivalence checker for parallelizing transformations of array-intensive programs, June 2016, ACM (Association for Computing Machinery),
DOI: 10.1145/2935323.2935324.
You can read the full text:
Contributors
The following have contributed to this page
