Verification of programs under the release-acquire semantics-Reference-Cited by-同舟云学术

Verification of programs under the release-acquire semantics

Published:2019-06-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Abdulla Parosh Aziz¹,Arora Jatin²,Atig Mohamed Faouzi¹,Krishna Shankaranarayanan²

Affiliation:

1. Uppsala University, Sweden

2. IIT Bombay, India

Publisher

ACM

Link

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

Reference40 articles.

1. Parosh Aziz Abdulla Mohamed Faouzi Atig Ahmed Bouajjani and Tuan Phong Ngo. 2017. Context-Bounded Analysis for POWER. In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference TACAS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2017 Uppsala Sweden April 22-29 2017 Proceedings Part II (Lecture Notes in Computer Science) Axel Legay and Tiziana Margaria (Eds.) Vol. 10206. Springer 56–74. Parosh Aziz Abdulla Mohamed Faouzi Atig Ahmed Bouajjani and Tuan Phong Ngo. 2017. Context-Bounded Analysis for POWER. In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference TACAS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2017 Uppsala Sweden April 22-29 2017 Proceedings Part II (Lecture Notes in Computer Science) Axel Legay and Tiziana Margaria (Eds.) Vol. 10206. Springer 56–74.

2. Optimal stateless model checking under the release-acquire semantics;Abdulla Parosh Aziz;PACMPL 2, OOPSLA,2018

3. Herding Cats

4. ARM. 2012. ARM architecture reference manual ARMv7-A and ARMv7-R edition. ARM. 2012. ARM architecture reference manual ARMv7-A and ARMv7-R edition.

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

1. Predictive Monitoring against Pattern Regular Languages;Proceedings of the ACM on Programming Languages;2024-01-05

2. Rely-Guarantee Reasoning for Causally Consistent Shared Memory;Computer Aided Verification;2023

3. Implementing and verifying release-acquire transactional memory in C11;Proceedings of the ACM on Programming Languages;2022-10-31

4. Unifying Operational Weak Memory Verification: An Axiomatic Approach;ACM Transactions on Computational Logic;2022-10-20

5. Parameterized Verification under Release Acquire is PSPACE-complete;Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing;2022-07-20