Understanding relaxed memory consistency through interactive visualization
We present Rasho, a tool that extracts and depicts execution scenarios from UPC source code, then allows learners to intervene in the scenarios, manipulating them to explore hypotheses about consistent and inconsistent code. This approach allows learners to play with relaxed consistency inside a responsive, informative visual space.
Proceedings of the ACM Conference on Computer and Communications Security
Understanding relaxed memory consistency through interactive visualization.
Proceedings of the ACM Conference on Computer and Communications Security, 223-224.
Retrieved from: https://digitalcommons.mtu.edu/michigantech-p/12512