Static Provenance Verification for Message Passing Programs
Abstract elided by the publisher.
Related papers
- Protocol-based verification of message-passing parallel programs OOPSLA 2015
- Specialization of CML message-passing primitives POPL 2007
- Actor Services - Modular Verification of Message Passing Programs ESOP 2016
- Message-Passing Algorithms for the Verification of Distributed Protocols VMCAI 2014
- A Static Type System for Message Passing OOPSLA 1991
- Multris: Functional Verification of Multiparty Message Passing in Separation Logic OOPSLA 2024
- Inferring ownership transfer for efficient message passing PPoPP 2011
- Communication-Sensitive Static Dataflow for Parallel Message Passing Applications CGO 2009