Compositional protocol (..) communicating actors | Laura Bocchi & Laura Voinea | Code BEAM V EU 21

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

Видео Compositional protocol (..) communicating actors | Laura Bocchi & Laura Voinea | Code BEAM V EU 21 канала Code Sync