MobilityReadingGroup

CAMP

CAMP: Cost-Aware Multiparty Session Protocols

This is the artifact for the related publication below. 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.

• David Castro-Perez, Nobuko Yoshida: CAMP: Cost-Aware Multiparty Session Protocol. OOPSLA 2020 : 155:1 - 155:30.