Translation Validation of Thread-Level Parallelizing Transformations using Color Petri Nets

Bronze Medal Winner

ACM Student Research Competition Grand Finals