This video was recorded at Code BEAM V EU 2021 - https://codesync.global/conferences/code-beam-sto-2021/ Compositional protocol engineering for communicating actors | Laura Bocchi & Laura Voinea - Senior Lecturer in Computing at the University of Kent & Research Associate at he University of Kent ABSTRACT In systems of communicating processes or actors, data types can be used to discipline the sorts of sent and received messages. Session types, in addition, can describe specific causalities and patterns among different send/receive actions (like application-level protocols). I will give an overview on recent and ongoing research about writing “good protocols” using session types and session types to yield correct implementations. I will then focus on modular composition of protocols. Real-world communication protocols are often built out of simpler protocols that cater for some specific functionality (e.g., banking, authentication) or operate at different levels of abstraction (e.g., HTTP, POP). However much of the work used for program verification (e.g., session types) treat protocols as monolithic units. I will show an approach to protocol composition, including a tool that extracts models from concurrent Erlang code into a protocol language based on session types, implements an algorithmic notion of protocol composition, and provides code generation from protocols. The purpose is greater modularisation and code reuse. • Timecodes 00:00 - 01:15 - Contents - Laura Bocchi 01:16 - 02:48 - Modeling Behaviour 04:26 - 07:01 - A bad protocol ( in the harsh asynchronous world) 07:02 - 09:21 - Good Protocols 09:22 - 12:29 - Session Types 12:30 - 14:11 - Context 14:12 - 19:52 - Problem 1: Composition 19:52 - 21"47 - Problem 2: Make it easy to (re-)engineer 21:48 - 23:00 - In Summary 23:01 - 31:30 - Demo Overview - Laura Voinea 31:41 - 38:39 - QnA • Follow us on social: Twitter: https://twitter.com/CodeBEAMio LinkedIn: https://www.linkedin.com/company/27159258 • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global