10.5281/zenodo.4046893
https://zenodo.org/records/4046893
oai:zenodo.org:4046893
Castro-Perez, David
David
Castro-Perez
0000-0002-6939-4189
Imperial College London
Yoshida, Nobuko
Nobuko
Yoshida
0000-0002-3925-8557
Imperial College London
CAMP: Cost-Aware Multiparty Session Protocols (artifact)
Zenodo
2020
2020-09-23
10.5281/zenodo.4046892
BSD 3-Clause "New" or "Revised" License
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 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.
UK Research and Innovation
10.13039/100014013
EP/L00058X/1
Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems
UK Research and Innovation
10.13039/100014013
EP/K011715/1
Conversation-Based Governance for Distributed Systems by Multiparty Session Types
UK Research and Innovation
10.13039/100014013
EP/N028201/1
Border Patrol: Improving Smart Device Security through Type-Aware Systems Design
UK Research and Innovation
10.13039/100014013
EP/K034413/1
From Data Types to Session Types---A Basis for Concurrency and Distribution
UK Research and Innovation
10.13039/100014013
EP/N027833/1
Turtles: Protocol-Based Foundations for Distributed Multiagent Systems