Symposium on Principles of Programming Languages (POPL), January

Safe nondeterminism in a deterministic-by-default parallel language

J. Bocchino, S. Huemann, N. Honarmand, S. Adve, V. Adve, A. Welc

Read Research Paper