Efficient scalable thread-safety-violation detection-Reference-Cited by-同舟云学术

Efficient scalable thread-safety-violation detection

Published:2019-10-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 27th ACM Symposium on Operating Systems Principles
language:
Short-container-title:

Author:

Li Guangpu¹,Lu Shan¹,Musuvathi Madanlal²,Nath Suman²,Padhye Rohan³

Affiliation:

1. University of Chicago

2. Microsoft Research

3. University of California

Funder

CSR:Medium:DCRUGS:Combating Distributed Concurrency Bugs in Cloud Systems

Publisher

ACM

Link

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

Reference66 articles.

1. Performance debugging for distributed systems of black boxes

2. Aleksandr Mikunov. [n. d.]. Rewrite MSIL Code on the Fly with the .NET Framework Profiling API. https://www.cnblogs.eom/WCFGROUP/p/5136703.html. Aleksandr Mikunov. [n. d.]. Rewrite MSIL Code on the Fly with the .NET Framework Profiling API. https://www.cnblogs.eom/WCFGROUP/p/5136703.html.

3. ApplicationInsights. [n. d.]. Broadcast processor is dropping telemetry due to race condition. https://github.com/Microsoft/ApplicationInsights-dotnet/issues/994. ApplicationInsights. [n. d.]. Broadcast processor is dropping telemetry due to race condition. https://github.com/Microsoft/ApplicationInsights-dotnet/issues/994.

4. Bazel. [n. d.]. Bazel: Build and test software of any size quickly and reliably. https://bazel.build/. Bazel. [n. d.]. Bazel: Build and test software of any size quickly and reliably. https://bazel.build/.

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

1. Reorder Pointer Flow in Sound Concurrency Bug Prediction;Proceedings of the 46th IEEE/ACM International Conference on Software Engineering;2024-02-06

2. Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor;Proceedings of the 29th Symposium on Operating Systems Principles;2023-10-23

3. Effective Concurrency Testing for Go via Directional Primitive-Constrained Interleaving Exploration;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

4. Detection of Java Basic Thread Misuses Based on Static Event Analysis;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

5. Vicious Cycles in Distributed Software Systems;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11