May-happen-in-parallel analysis with static vector clocks-Reference-Cited by-同舟云学术

May-happen-in-parallel analysis with static vector clocks

Published:2018-02-24 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2018 International Symposium on Code Generation and Optimization
language:
Short-container-title:

Author:

Zhou Qing¹,Li Lian¹,Wang Lei¹,Xue Jingling²,Feng Xiaobing¹

Affiliation:

1. Institute of Computing Technology at Chinese Academy of Sciences, China / University at Chinese Academy of Sciences, China

2. UNSW, Australia

Funder

Innovation Research Group of National Natural Science Foundation of China

National Key research and development program

Publisher

ACM

Link

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

Reference34 articles.

1. May-happen-in-parallel analysis of X10 programs

2. Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs

3. Blaise Barney. 2017. POSIX Threads Programming. (2017). https: //computing.llnl.gov/tutorials/pthreads/ Blaise Barney. 2017. POSIX Threads Programming. (2017). https: //computing.llnl.gov/tutorials/pthreads/

4. Lightweight data race detection for production runs

5. Concurrency analysis in the presence of procedures using a data-flow framework

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

1. NodeRT: Detecting Races in Node.js Applications Practically;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

2. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces;Programming Languages and Systems;2023

3. GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs;2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2021-02-27

4. RegionTrack;ACM Transactions on Software Engineering and Methodology;2021-01-31

5. ER catcher;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21