Order types: static reasoning about message races in asynchronous message passing concurrency-Reference-Cited by-同舟云学术

Order types: static reasoning about message races in asynchronous message passing concurrency

Published:2017-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control
language:
Short-container-title:

Author:

Bagherzadeh Mehdi¹,Rajan Hridesh²

Affiliation:

1. Oakland University, USA

2. Iowa State University, USA

Funder

National Science Foundation

Publisher

ACM

Link

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

Reference52 articles.

1. Martin Abadi Cormac Flanagan and Stephen N. Freund. 2006. Types for Safe Locking: Static Race Detection for Java. TOPLAS ’06 28 2 (2006). Martin Abadi Cormac Flanagan and Stephen N. Freund. 2006. Types for Safe Locking: Static Race Detection for Java. TOPLAS ’06 28 2 (2006).

2. Rahul Agarwal and Scott D. Stoller. 2004. Type Inference for Parameterized Race-Free Java. In VMCAI ’04. 10.1007/978-3-540-24622-0_14 Rahul Agarwal and Scott D. Stoller. 2004. Type Inference for Parameterized Race-Free Java. In VMCAI ’04. 10.1007/978-3-540-24622-0_14

3. Gul Agha. 1986. Actors: a model of concurrent computation in distributed systems. MIT Press. Gul Agha. 1986. Actors: a model of concurrent computation in distributed systems. MIT Press.

4. Gul Agha and Carl Hewitt. 1985. Concurrent Programming Using Actors: Exploiting large-Scale Parallelism. In FSTTCS ’85. Gul Agha and Carl Hewitt. 1985. Concurrent Programming Using Actors: Exploiting large-Scale Parallelism. In FSTTCS ’85.

5. Alexander Aiken and David Gay. 1998. Barrier Inference. In POPL ’98. 10.1145/268946.268974 Alexander Aiken and David Gay. 1998. Barrier Inference. In POPL ’98. 10.1145/268946.268974

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

1. Akka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

2. Special Delivery: Programming with Mailbox Types;Proceedings of the ACM on Programming Languages;2023-08-30

3. Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differences;Proceedings of the ACM on Programming Languages;2020-11-13

4. Safe automated refactoring for intelligent parallelization of Java 8 streams;Science of Computer Programming;2020-09

5. An Empirical Study on the Use and Misuse of Java 8 Streams;Fundamental Approaches to Software Engineering;2020