Abstract
We present Oven: a toolset to assure safety and liveness of communication protocols among threads in concurrent programs in Scala. Oven is the first practical toolset that is built on top of new theoretical foundations of synthetic behavioural type analysis, recently developed by us to improve the expressiveness of existing work. We explain Oven's usage, summarise its design and implementation (main challenge: how to encode the new synthetic behavioural typing rules in Scala's existing type system), and discuss a preliminary evaluation of expressiveness (the results provide first evidence that Oven is an improvement over two state-of-the-art tools).
| Original language | English |
|---|---|
| Title of host publication | ISSTA 2023 |
| Subtitle of host publication | Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis |
| Editors | Rene Just, Gordon Fraser |
| Publisher | Association for Computing Machinery (ACM) |
| Pages | 1511-1514 |
| Number of pages | 4 |
| ISBN (Electronic) | 9798400702211 |
| DOIs | |
| Publication status | Published - Jul 2023 |
| Event | 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023 - Seattle, United States Duration: 17 Jul 2023 → 21 Jul 2023 https://conf.researchr.org/home/issta-2023 |
Publication series
| Series | ISSTA: International Symposium on Software Testing and Analysis. Conference Proceedings |
|---|
Symposium
| Symposium | 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023 |
|---|---|
| Country/Territory | United States |
| City | Seattle |
| Period | 17/07/23 → 21/07/23 |
| Internet address |
Keywords
- behavioural types
- choreographies
- multiparty session types