A study of real-world data races in Golang-Reference-Cited by-同舟云学术

A study of real-world data races in Golang

Published:2022-06-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Chabbi Milind¹,Ramanathan Murali Krishna¹

Affiliation:

1. Uber Technologies, USA

Publisher

ACM

Link

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

Reference85 articles.

1. 2015. The Java Language Specification (Java SE 8 Edition). https://docs.oracle.com/javase/specs/jls/se8/jls8.pdf 2015. The Java Language Specification (Java SE 8 Edition). https://docs.oracle.com/javase/specs/jls/se8/jls8.pdf

2. 2018. Java CountDownLatch. https://docs.oracle.com/javase/7/docs/api/java/util/concurrent/CountDownLatch.html 2018. Java CountDownLatch. https://docs.oracle.com/javase/7/docs/api/java/util/concurrent/CountDownLatch.html

3. 2018. Pthread Barrier. https://pubs.opengroup.org/onlinepubs/9699919799/functions/pthread_barrier_destroy.html 2018. Pthread Barrier. https://pubs.opengroup.org/onlinepubs/9699919799/functions/pthread_barrier_destroy.html

4. 2020. Java CyclicBarrier. https://docs.oracle.com/javase/7/docs/api/java/util/concurrent/CyclicBarrier.html 2020. Java CyclicBarrier. https://docs.oracle.com/javase/7/docs/api/java/util/concurrent/CyclicBarrier.html

5. 2021. Free variables and bound variables. https://en.wikipedia.org/wiki/Free_variables_and_bound_variables 2021. Free variables and bound variables. https://en.wikipedia.org/wiki/Free_variables_and_bound_variables

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

1. Golang Defect Detection based on Value Flow Analysis;2024 9th International Conference on Electronic Technology and Information Science (ICETIS);2024-05-17

2. Optimistic Prediction of Synchronization-Reversal Data Races;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

3. Unveiling and Vanquishing Goroutine Leaks in Enterprise Microservices: A Dynamic Analysis Approach;2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2024-03-02

4. PaVM: A Parallel Virtual Machine for Smart Contract Execution and Validation;IEEE Transactions on Parallel and Distributed Systems;2024-01

5. Automated verification of concurrent go programs via bounded model checking;Automated Software Engineering;2023-08-26