CAMP: Cost-Aware Multiparty Session Protocols (artifact)
Author(s)
Castro-Perez, David
Yoshida, Nobuko
Type
Software / Code
Abstract
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.
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.
Version
1
Date Issued
2020-09-23
Citation
2020
Copyright Statement
https://opensource.org/licenses/BSD-3-Clause
Sponsor
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (EPSRC)
Engineering & Physical Science Research Council (EPSRC)
Grant Number
ERI 025567 (EP/K034413/1)
EP/K011715/1
EP/N027833/1
Subjects
CAMP
Cost-Aware Multiparty Session Protocols
CAMP: Cost-Aware Multiparty Session Protocols (artifact)