SherLock: unsupervised synchronization-operation inference-Reference-Cited by-同舟云学术

SherLock: unsupervised synchronization-operation inference

Published:2021-04-17 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Li Guangpu¹,Chen Dongjie²,Lu Shan¹,Musuvathi Madanlal³,Nath Suman³

Affiliation:

1. University of Chicago, USA

2. Nanjing University, China

3. Microsoft Research, USA

Funder

CSR: Medium:Collaborative Research:Holistic,Cross-Site,Hybrid System Anomaly Debugging for Large Scale Hosting Infrastructures

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

FMitF: Collaborative Research: User-Centered Verification and Repair of Trigger-Action Programs

CNS Core: Medium: Accurate Anytime Learning for Energy and Timeliness in Software Systems

CSR:Medium:Understanding and Automatically Adjusting Performance Sensitive Software

BIGDATA: Collaborative Research: F: Holistic Optimization of Data-Driven Applications

Publisher

ACM

Link

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

Reference46 articles.

1. Building async coordination primitives. https://devblogs.microsoft.com/pfxteam. Accessed: 2021-1-1. Building async coordination primitives. https://devblogs.microsoft.com/pfxteam. Accessed: 2021-1-1.

2. Flipy : linear solver. https://pypi.org/project/flipy/. Accessed: 2020-8-9. Flipy : linear solver. https://pypi.org/project/flipy/. Accessed: 2020-8-9.

3. Ibm thread and monitor dump analyze for java. https://www.ibm.com/support/pages/ibm-thread-and-monitor-dump-analyzerjava-tmda. Accessed: 2020-8-9. Ibm thread and monitor dump analyze for java. https://www.ibm.com/support/pages/ibm-thread-and-monitor-dump-analyzerjava-tmda. Accessed: 2020-8-9.

4. Microsoft tsvd. https://github.com/microsoft/TSVD. Accessed: 2020-8-9. Microsoft tsvd. https://github.com/microsoft/TSVD. Accessed: 2020-8-9.

5. Mono.cecil. https://www.mono-project.com/docs/tools+libraries/libraries/Mono. Cecil/. Accessed: 2020-8-9. Mono.cecil. https://www.mono-project.com/docs/tools+libraries/libraries/Mono. Cecil/. Accessed: 2020-8-9.

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

1. TCSA: Efficient Localization of Busy-Wait Synchronization Bugs for Latency-Critical Applications;IEEE Transactions on Parallel and Distributed Systems;2024-02

2. Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software;2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW);2023-10-09

3. WAFFLE: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection;Proceedings of the Eighteenth European Conference on Computer Systems;2023-05-08

4. FlakeRepro: automated and efficient reproduction of concurrency-related flaky tests;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07