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

Rakshit Mittal, Rochishnu Banerjee, Dominique Blouin, Soumyadip Bandyopadhyay

Browse the full ICSoft paper archive.