A tree clock data structure for causal orderings in concurrent executions-Reference-Cited by-同舟云学术

A tree clock data structure for causal orderings in concurrent executions

Published:2022-02-22 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Mathur Umang¹,Pavlogiannis Andreas²^ORCID,Tunç Hünkar Can²^ORCID,Viswanathan Mahesh³

Affiliation:

1. National University of Singapore, Singapore

2. Aarhus University, Denmark

3. University of Illinois at Urbana-Champaign, USA

Funder

Simons Institute for the Theory of Computing, University of California Berkeley

National Science Foundation

Publisher

ACM

Link

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

Reference73 articles.

1. [n.d.]. CORAL-2 Benchmarks. https://asc.llnl.gov/coral-2-benchmarks Accessed: 2021-08-01. [n.d.]. CORAL-2 Benchmarks. https://asc.llnl.gov/coral-2-benchmarks Accessed: 2021-08-01.

2. [n.d.]. CORAL Benchmarks. https://asc.llnl.gov/coral-benchmarks Accessed: 2021-08-01. [n.d.]. CORAL Benchmarks. https://asc.llnl.gov/coral-benchmarks Accessed: 2021-08-01.

3. [n.d.]. ECP Proxy Applications. https://proxyapps.exascaleproject.org Accessed: 2021-08-01. [n.d.]. ECP Proxy Applications. https://proxyapps.exascaleproject.org Accessed: 2021-08-01.

4. [n.d.]. Mantevo Project. https://mantevo.org Accessed: 2021-08-01. [n.d.]. Mantevo Project. https://mantevo.org Accessed: 2021-08-01.

5. 2022. Trace logs used in Section 6. https://uillinoisedu-my.sharepoint.com/:f:/g/personal/umathur3_illinois_edu/EskC1fg2xhNHnim2ZYjDD9gBJqme8hBTgWShHUmOfYmF-Q 2022. Trace logs used in Section 6. https://uillinoisedu-my.sharepoint.com/:f:/g/personal/umathur3_illinois_edu/EskC1fg2xhNHnim2ZYjDD9gBJqme8hBTgWShHUmOfYmF-Q

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

1. Inductive Diagrams for Causal Reasoning;Proceedings of the ACM on Programming Languages;2024-04-29

2. 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

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

4. Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09

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