DoubleChecker-Reference-Cited by-同舟云学术

DoubleChecker

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:

Biswas Swarnendu¹,Huang Jipeng¹,Sengupta Aritra¹,Bond Michael D.¹

Affiliation:

1. Ohio State University

Funder

Division of Computer and Network Systems

National Science Foundation

Publisher

ACM

Link

Reference39 articles.

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

1. CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27

2. Predictive Monitoring against Pattern Regular Languages;Proceedings of the ACM on Programming Languages;2024-01-05

3. Sound Dynamic Deadlock Prediction in Linear Time;Proceedings of the ACM on Programming Languages;2023-06-06

4. A deep study of the effects and fixes of server-side request races in web applications;Proceedings of the 19th International Conference on Mining Software Repositories;2022-05-23

5. A tree clock data structure for causal orderings in concurrent executions;Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2022-02-22