Dag-calculus: a calculus for parallel computation-Reference-Cited by-同舟云学术

Dag-calculus: a calculus for parallel computation

Published:2016-09-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
language:
Short-container-title:

Author:

Acar Umut A.¹,Charguéraud Arthur²,Rainey Mike²,Sieczkowski Filip²

Affiliation:

1. Carnegie Mellon University, USA / Inria, France

2. Inria, France

Funder

National Science Foundation

European Research Council

Publisher

ACM

Link

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

Reference51 articles.

1. Folly: Facebook open-source library 2015. https://github.com/ facebook/folly. Folly: Facebook open-source library 2015. https://github.com/ facebook/folly.

2. Umut A. Acar Guy E. Blelloch and Robert D. Blumofe. The data locality of work stealing. Theory of Computing Systems (TOCS) 35(3): 321–347 2002. Umut A. Acar Guy E. Blelloch and Robert D. Blumofe. The data locality of work stealing. Theory of Computing Systems (TOCS) 35(3): 321–347 2002.

3. Oracle scheduling

4. Scheduling parallel programs by work stealing with private deques

5. A work-efficient algorithm for parallel unordered depth-first search

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

1. Disentanglement with Futures, State, and Interaction;Proceedings of the ACM on Programming Languages;2024-01-05

2. Automatic Parallelism Management;Proceedings of the ACM on Programming Languages;2024-01-05

3. DisLog: A Separation Logic for Disentanglement;Proceedings of the ACM on Programming Languages;2024-01-05

4. Efficient Parallel Functional Programming with Effects;Proceedings of the ACM on Programming Languages;2023-06-06

5. Provably space-efficient parallel functional programming;Proceedings of the ACM on Programming Languages;2021-01-04