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.

TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA

Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi. TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA. In Yunji Chen, Olivier Temam, John Carter, editors, Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2017, Xi'an, China, April 8-12, 2017. pages 119-133, ACM, 2017. [doi]

Authors

Caroline Trippel

This author has not been identified. Look up 'Caroline Trippel' in Google

Yatin A. Manerkar

This author has not been identified. Look up 'Yatin A. Manerkar' in Google

Daniel Lustig

This author has not been identified. Look up 'Daniel Lustig' in Google

Michael Pellauer

This author has not been identified. Look up 'Michael Pellauer' in Google

Margaret Martonosi

This author has not been identified. Look up 'Margaret Martonosi' in Google
runs on