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).
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 |
|---|---|
| Pages | 1511-1514 |
| DOIs | |
| Publication status | Published - 13 Jul 2023 |
| Event | ACM SIGSOFT International Symposium on Software Testing and Analysis - Seattle, Washington, United States of America, Seattle, United States Duration: 25 Jun 2023 → … |
Conference
| Conference | ACM SIGSOFT International Symposium on Software Testing and Analysis |
|---|---|
| Country/Territory | United States |
| City | Seattle |
| Period | 25/06/23 → … |