Work Analysis with Resource-Aware Session Types-Reference-Cited by-同舟云学术

Work Analysis with Resource-Aware Session Types

Published:2018-07-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Das Ankush¹,Hoffmann Jan¹,Pfenning Frank¹

Affiliation:

1. Carnegie Mellon University

Publisher

ACM

Link

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

Reference36 articles.

1. Umut A Acar Arthur Charguéraud and Mike Rainey. 2016. Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages. J. Funct. Programming (2016). Umut A Acar Arthur Charguéraud and Mike Rainey. 2016. Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel Languages. J. Funct. Programming (2016).

2. Resource Analysis: From Sequential to Concurrent and Distributed Programs

3. Elvira Albert Antonio Flores-Montoya Samir Genaim and Enrique Martin-Martin. 2016. May-Happen-in-Parallel Analysis for Actor-Based Concurrency. ACM Trans. Comput. Log. (2016). 10.1145/2824255 Elvira Albert Antonio Flores-Montoya Samir Genaim and Enrique Martin-Martin. 2016. May-Happen-in-Parallel Analysis for Actor-Based Concurrency. ACM Trans. Comput. Log. (2016). 10.1145/2824255

4. Decomposition instead of self-composition for proving the absence of timing channels

5. Amortised Resource Analysis with Separation Logic

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

1. On the Almost-Sure Termination of Binary Sessions;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09

2. sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09

3. Robust Resource Bounds with Static Analysis and Bayesian Inference;Proceedings of the ACM on Programming Languages;2024-06-20

4. Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing;Proceedings of the ACM on Programming Languages;2024-01-05

5. ElixirST: A session-based type system for Elixir modules;Journal of Logical and Algebraic Methods in Programming;2023-10