An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors-Reference-Cited by-同舟云学术

An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors

Published:2015-12-05 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 48th International Symposium on Microarchitecture
language:
Short-container-title:

Author:

Gray Kathryn E.¹,Kerneis Gabriel¹,Mulligan Dominic¹,Pulte Christopher¹,Sarkar Susmit²,Sewell Peter¹

Affiliation:

1. University of Cambridge

2. University of St Andrews

Funder

Engineering and Physical Sciences Research Council

Publisher

ACM

Link

Reference31 articles.

4. J. Alglave and L. Maranget "The diy tool." http://diy.inria.fr/. J. Alglave and L. Maranget "The diy tool." http://diy.inria.fr/.

Cited by 28 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bringing the WebAssembly Standard up to Speed with SpecTec;Proceedings of the ACM on Programming Languages;2024-06-20

2. Lifting Micro-Update Models from RTL for Formal Security Analysis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27

5. Islaris: verification of machine code against authoritative ISA semantics;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09