Rakshit Mittal

Antwerp, BE

Cloud

Cinema

Git

Torrent

Diagrams

Vault

Inventory

Todo

Monitor

Feed

Library

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

Bronze Medal Winner

Presented at ACM Student Research Competition Grand Finals 2020

posters-21-acm-src