Published September 23, 2020
| Version v1
Software
Open
CAMP: Cost-Aware Multiparty Session Protocols (artifact)
Description
This is the artifact for the paper *CAMP: Cost-Aware Multiparty Session Protocols*.
The artifact comprises:
- A library for specifying cost-aware multiparty protocols.
- The raw data used for comparing the cost models with real execution costs.
- The cost-aware protocol specifications of the benchmarks that we studied.
The library for specifying cost-aware protocols also provides functions for
extracting cost equations from them, and for estimating recursive protocol
latencies (i.e. average cost per protocol iteration). We provide a script for
extracting cost equations, and instantiating them using the parameters used in
the paper.
Notes
The work is supported by EPSRC EP/T006544/1, EP/K011715/1, EP/K034413/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1, EP/T006544/1, EP/T014709/1 and EP/V000462/1, and NCSS/EPSRC VeTSS.
Files
README.pdf
Files
(734.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:a954b7a30269e6114edc79e5400bde42
|
734.2 MB | Download |
|
md5:1d89f29bfa4e3329ab850f61144f8166
|
125.4 kB | Preview Download |
Additional details
Funding
- Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems EP/L00058X/1
- UK Research and Innovation
- Conversation-Based Governance for Distributed Systems by Multiparty Session Types EP/K011715/1
- UK Research and Innovation
- Border Patrol: Improving Smart Device Security through Type-Aware Systems Design EP/N028201/1
- UK Research and Innovation
- From Data Types to Session Types---A Basis for Concurrency and Distribution EP/K034413/1
- UK Research and Innovation
- Turtles: Protocol-Based Foundations for Distributed Multiagent Systems EP/N027833/1
- UK Research and Innovation