External Links

Cite Key

Statistics

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

PDF

Tags

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.

The semantics of x86-CC multiprocessor machine code

Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave. The semantics of x86-CC multiprocessor machine code. In Zhong Shao, Benjamin C. Pierce, editors, Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009. pages 379-391, ACM, 2009. [doi]

Authors

Susmit Sarkar

This author has not been identified. Look up 'Susmit Sarkar' in Google

Peter Sewell

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

Francesco Zappa Nardelli

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

Scott Owens

This author has not been identified. Look up 'Scott Owens' in Google

Tom Ridge

This author has not been identified. Look up 'Tom Ridge' in Google

Thomas Braibant

This author has not been identified. Look up 'Thomas Braibant' in Google

Magnus O. Myreen

This author has not been identified. Look up 'Magnus O. Myreen' in Google

Jade Alglave

This author has not been identified. Look up 'Jade Alglave' in Google
runs on