Repairing and mechanising the JavaScript relaxed memory model-Reference-Cited by-同舟云学术

Repairing and mechanising the JavaScript relaxed memory model

Published:2020-06-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Watt Conrad¹,Pulte Christopher¹,Podkopaev Anton²,Barbier Guillaume³,Dolan Stephen¹,Flur Shaked¹,Pichon-Pharabod Jean¹,Guo Shu-yu⁴

Affiliation:

1. University of Cambridge, UK

2. National Research University Higher School of Economics, Russia / MPI-SWS, Germany

3. ENS Rennes, France

4. Bloomberg, USA

Funder

H2020 European Research Council

Russian Foundation for Basic Research

Engineering and Physical Sciences Research Council

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3385412.3385973

Reference54 articles.

1. Information-flow models for shared memory with an application to the powerPC architecture

2. Weak ordering---a new definition

3. The semantics of power and ARM multiprocessor machine code

4. Jade Alglave and Luc Maranget. 2017. A diy “Seven” tutorial. http: //diy.inria.fr/doc/index.html. Jade Alglave and Luc Maranget. 2017. A diy “Seven” tutorial. http: //diy.inria.fr/doc/index.html.

5. Litmus: Running Tests against Hardware

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

1. Improved Design of Concurrent Synchronization System Controller Based on Petri Net;Journal of Web Engineering;2024-02-03

2. MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2023-01-27

3. Compass: strong and compositional library specifications in relaxed memory separation logic;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

4. The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency;Proceedings of the ACM on Programming Languages;2022-01-12

5. Automated Conversion of Axiomatic to Operational Models: Theory and Practice;Form Comp Aid Design;2022