Dynamic Software Update for Message Passing Programs
No abstract available.
Related papers
- Conformance Checking for Models of Asynchronous Message Passing Software CAV 2002
- Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages ECOOP 1994
- On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony CAV 2018
- Send-receive considered harmful: Myths and realities of message passing TOPLAS 2004
- Pure: Evolving Message Passing To Better Leverage Shared Memory Within Nodes PPoPP 2024
- DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs POPL 2026
- Message analysis for concurrent programs using message passing TOPLAS 2006
- The myrmics memory allocator: hierarchical, message-passing allocation for global address spaces ISMM 2012