Relaxed-memory concurrency and verified compilation

Sevcík, Jaroslav and Vafeiadis, Viktor and Nardelli, Francesco Zappa and Jagannathan, Suresh and Sewell, Peter
(2011) Relaxed-memory concurrency and verified compilation.
In: Proceedings of the 38th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'11).
Conference: POPL - ACM-SIGACT Symposium on Principles of Programming Languages

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item