DOI10.1145/2429069.2429104zbMath1301.68099OpenAlexW2150224578MaRDI QIDQ2931804
Thomas Dinsdale-Young, Hongseok Yang, Philippa Gardner, Matthew J. Parkinson, Lars Birkedal
Publication date: 27 November 2014
Published in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2429069.2429104
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Semantics in the theory of computing (68Q55)
Specification and verification (program logics, model checking, etc.) (68Q60)
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Convolution as a Unifying Concept,
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems,
Connecting Higher-Order Separation Logic to a First-Order Outside World,
Abstract local reasoning for concurrent libraries: mind the gap,
A game semantics of concurrent separation logic,
Caper,
Bringing Order to the Separation Logic Jungle,
Verifying Concurrent Graph Algorithms,
A perspective on specifying and verifying concurrent modules,
On Rely-Guarantee Reasoning,
A Program Construction and Verification Tool for Separation Logic,
Balancing expressiveness in formal approaches to concurrency,
Concise outlines for a complex logic: a proof outline checker for TaDA,
A fine-grained semantics for arrays and pointers under weak memory models,
Steps in modular specifications for concurrent modules (invited tutorial paper),
Iris from the ground up: A modular foundation for higher-order concurrent separation logic,
Temporary Read-Only Permissions for Separation Logic,
Tackling Real-Life Relaxed Concurrency with FSL++,
A Higher-Order Logic for Concurrent Termination-Preserving Refinement,
Abstract Specifications for Concurrent Maps,
Modular Termination Verification for Non-blocking Concurrency,
Constructing the Views Framework,
Decision problems in a logic for reasoning about reconfigurable distributed systems,
On the relation between concurrent separation logic and concurrent Kleene algebra
