Publications

Safe nondeterminism in a deterministic-by-default parallel language

Symposium on Principles of Programming Languages (POPL), January

Publication date: January 1, 2011

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