Spotlight on Laura Bocchi
Language: FP
Time-Sensitive Protocol: Links From Design To Implementation
This talk will center on developing systems where distributed components interact via asynchronous message passing, and need to follow specific interaction patterns, e.g., ad-hoc application-level protocols, such as POP2.
I will discuss ongoing work towards establishing relationships between protocols and their implementations, focussing on time-sensitive protocols, where interactions are associated to time-constraints. We will look at two (partly-related) formal ways of describing protocols: Timed Session Types and Automata.
Session Types are a powerful and effective technique for program verification; they allow type-checking programs against their communication behavior, other than on the type of the messages. For Timed Automata, the relationship between protocols and (abstractions of) programs can be expressed as a refinement relation between more and less abstract models, giving concrete guidelines on how to implement timed protocols while preserving the intended behavior and progress.
I will discuss recent theories, learnings, open challenges, and future directions.
About Laura:
I am a Senior Lecturer in Computing at the University of Kent. I am interested in static and dynamic verification of communicating systems based on session types (i.e., types that describe communication behaviors). My latest research is on establishing links between formal models for time-sensitive application-level protocols and programming languages. I am currently Principal Investigator of EPSRC-funded project “Time sensitive protocol design and implementation,” and a WP leader in the EU RISE project ‘BehAPI’ on behavioural APis.
For more on Laura, visit:
About Lambda World:
Lambda World takes place October 17th - 18th, in Cádiz, Spain and is hosted by 47 Degrees in conjunction with the Scala and Java communities of Spain. The event is located at the Palacio de Congresos, an old tobacco factory near the beach. You can find more details at Lambda.world