Commutativity race detection-Reference-Cited by-同舟云学术

Commutativity race detection

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

Author:

Dimitrov Dimitar¹,Raychev Veselin¹,Vechev Martin¹,Koskinen Eric²

Affiliation:

1. ETH Zürich

2. New York University

Publisher

ACM

Link

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

Reference18 articles.

1. Laws of order

2. The scalable commutativity rule

3. Flanagan C. and Freund S. N. Fasttrack: Efficient and precise dynamic race detection. In ACM PLDI'09. 10.1145/1542476.1542490 Flanagan C. and Freund S. N. Fasttrack: Efficient and precise dynamic race detection. In ACM PLDI'09 . 10.1145/1542476.1542490

4. The roadrunner dynamic analysis framework for concurrent programs

5. Flanagan C. Freund S. N. and Yi J. Velodrome: A sound and complete dynamic atomicity checker for multithreaded programs. In ACM PLDI'08. 10.1145/1375581.1375618 Flanagan C. Freund S. N. and Yi J. Velodrome: A sound and complete dynamic atomicity checker for multithreaded programs. In ACM PLDI'08 . 10.1145/1375581.1375618

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

1. CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity;Proceedings of the ACM on Programming Languages;2023-06-06

2. Veracity: declarative multicore programming with commutativity;Proceedings of the ACM on Programming Languages;2022-10-31

3. ECROs: building global scale systems from sequential code;Proceedings of the ACM on Programming Languages;2021-10-20

4. Practical smart contract sharding with ownership and commutativity analysis;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18

5. Decomposing Data Structure Commutativity Proofs with $$m\!n$$-Differencing;Lecture Notes in Computer Science;2021