External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Relaxed-memory concurrency and verified compilation

Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell. Relaxed-memory concurrency and verified compilation. In Thomas Ball, Mooly Sagiv, editors, Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011. pages 43-54, ACM, 2011. [doi]

Authors

Jaroslav Sevcík

This author has not been identified. Look up 'Jaroslav Sevcík' in Google

Viktor Vafeiadis

Identified as Viktor Vafeiadis

Francesco Zappa Nardelli

This author has not been identified. Look up 'Francesco Zappa Nardelli' in Google

Suresh Jagannathan

This author has not been identified. Look up 'Suresh Jagannathan' in Google

Peter Sewell

This author has not been identified. Look up 'Peter Sewell' in Google
runs on