Programme
Monday 23rd September
Session 1: 10.00 - 11.00 (Chair: Simon Gay)
- 10.00 Towards Global and Local Types for Adaptation
- Mario Bravetti, Marco Carbone, Thomas Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez and Gianluigi Zavattaro
- 10.30 Static deadlock resolution in the pi calculus
- Marco Giunti and António Ravara
Break
Session 2: 11.30 - 13.00 (Chair: Mario Bravetti)
- 11.30 A concurrent programming language with refined session types
- Juliana Franco and Vasco Vasconcelos
- 12.00 Types for resources in psi-calculi
- Hans Hüttel
- 12.30 Behavioural Types Inspired by Cellular Thresholds
- Bogdan Aman and Gabriel Ciobanu
Lunch
Session 3: 14.30 - 16.00 (Chair: Ilaria Castellani)
- 14.30 Ensuring Faultless Communication Behaviour in an E-Commerce Cloud Application
- Rustem Kamun and Ross Horne
- 15.00 A Typing System for Privacy
- Dimitrios Kouzapas and Anna Phillipou
- 15.30 Compliance and testing preorders differ
- Giovanni Bernardi and Matthew Hennessy
Break
Session 4: 16.30 - 17.30 (Chair: Adrian Francalanza)
- 16.30 Scalable session programming for heterogeneous high-performance systems
- Nicholas Ng, Nobuko Yoshida and Wayne Luk
- 17.00 Specification and Verification of Protocols for MPI Programs
- Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Dias Martins, César Santos and Nobuko Yoshida
Tuesday 24th September
Session 1: 10.00 - 11.00 (Chair: Björn Victor)
- 10.00 Invited Lecture
Service Compositions: Curse or Blessing for Security - Achim Brucker
-
Abstract
Building large systems by composing reusable services is not a new idea, it is at least 25 years old. Still, only recently the scenario of dynamic interchangeable services that are consumed via public networks is becoming reality. Following the Software as a Service (SaaS) paradigm, an increasing number of complex applications is offered as a service that themselves can be used composed for building even larger and more complex applications. This will lead to situations in which users are likely to unknowingly consume services in a dynamic and ad hoc manner.
Leaving the rather static (and mostly on-premise) service composition scenarios of the past 25 years behind us, dynamic service compositions, have not only the potential to transform the software industry from a business perspective, they also requires new approaches for addressing the security, trustworthiness needs of users.
The EU FP7 project Aniketos develops new technology, methods, tools and security services that support the design-time creation and run-time dynamic behaviour of dynamic service compositions, addressing service developers, service providers and service end users.
In this talk, we will motivate several security and trustworthiness requirements that occur in dynamic service compositions and discuss the solutions developed within the project Aniketos. Based on our experiences, we will discuss open research challenges and potential opportunities for potential opportunities for applying type systems.
Break
Session 2: 11.30 - 13.00 (Chair: Hans Hüttel)
- 11.30 Typing Actors using Behavioural Types
- Adrian Francalanza and Joseph Masini
- 12.00 Behaviour inference for deadlock checking
- Violet Ka I Pun, Martin Steffen and Volker Stoltz
- 12.30 Globally Governed Session Semantics
- Dimitrios Kouzapas and Nobuko Yoshida
Lunch
Session 3: 14.30 - 16.00 (Chair: Vasco Vasconcelos)
- 14.30 Tutorial and demonstration: Distributed Governance with Scribble
- Raymond Hu, Rumyana Neykova, Nicholas Ng and Nobuko Yoshida
- 15.30 Discussion
Break
Session 4: 16.30 - 17.30 (Vasileios Koutavas)
- 16.30 Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
- Pierre-Malo Deniélou and Nobuko Yoshida
- 17.00 Linear Types in Programming Languages: Progress and Prospects
- Simon Gay
Tuesday evening
- For people who would like to have dinner with other BEAT participants and/or with members of the BETTY network, the suggested restaurant is Restaurante Manolo from around 20.30. The restaurant is located reasonably close to the SEFM recommended hotels.