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.

Verifying and Optimizing the HMCS Lock for Arm Servers

Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, Viktor Vafeiadis. Verifying and Optimizing the HMCS Lock for Arm Servers. In Karima Echihabi, Roland Meyer 0001, editors, Networked Systems - 9th International Conference, NETYS 2021, Virtual Event, May 19-21, 2021, Proceedings. Volume 12754 of Lecture Notes in Computer Science, pages 240-260, Springer, 2021. [doi]

Authors

Jonas Oberhauser

This author has not been identified. Look up 'Jonas Oberhauser' in Google

Lilith Oberhauser

This author has not been identified. Look up 'Lilith Oberhauser' in Google

Antonio Paolillo

This author has not been identified. Look up 'Antonio Paolillo' in Google

Diogo Behrens

This author has not been identified. Look up 'Diogo Behrens' in Google

Ming Fu

This author has not been identified. Look up 'Ming Fu' in Google

Viktor Vafeiadis

This author has not been identified. It may be one of the following persons: Look up 'Viktor Vafeiadis' in Google
runs on