Title

Understanding relaxed memory consistency through interactive visualization

Document Type

Conference Proceeding

Publication Date

12-1-2010

Abstract

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.

Publication Title

Proceedings of the ACM Conference on Computer and Communications Security

Share

COinS