ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 14:30 - 15:00 at S4 (BEHAPI) - Behavioural Types for API-based software Chair(s): emilio tuosto

Most programming languages providing support for modifying an application’s behavior at run time run on top of a Virtual Machine (VM). In general, the VM is inaccessible for the applications. We argue that the lack of means for applications to interact with the VM limits the adaptation capabilities of running programs. To overcome this situation we explore an API (in the form of a metaobject protocol) which provides support for applications to observe and modify their underlying VM to changing requirements. We implement this API and assess how it deals with unanticipated dynamic adaptation scenarios for security, optimization, and profiling aspects. In contrast to existing alternatives, our approach is able to handle all adaptation scenarios, using less code, and without interfering with the application’s logic.

Sat 6 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:30: BEHAPI - Behavioural Types for API-based software at S4 (BEHAPI)
Chair(s): emilio tuostoUniversity of Leicester
behapi-2019-papers13:30 - 14:00
Ugo de'LiguoroUniversità di Torino, Luca PadovaniUniversity of Turin
behapi-2019-papers14:00 - 14:30
Hans HüttelDepartment of Computer Science, Aalborg University
behapi-2019-papers14:30 - 15:00
Guido ChariCzech Technical University, Czechia
behapi-2019-papers15:00 - 15:30
Francisco MartinsUniversity of Lisbon