Bologna
Nov. 27th, 2020

Recent Developments of the Design and Implementation of Programming Languages 2020

Programme

12:20
12:30
Opening
Speakers: Frank de Boer, Jacopo Mauro, Gianluigi Zavattaro, and Saverio Giallorenzo
12:30
12:50
A logic programming approach to Reaction Systems
Authors: Giulia Palma and Moreno Falaschi
12:50
13:10
A Formal Analysis of the Bitcoin Protocol
Authors: Cosimo Laneve and Adele Veschetti
13:10
13:30
Deconfined Intersection Types in Java
Authors: Mariangiola Dezani-Ciancaglini, Paola Giannini, and Betti Venneri
13:30
13:50
Tuning analysis precision through program transformation
Author: Mila Dalla Preda
13:50
14:00
Coffee Break
14:00
14:20
The Servers of Serverless Computing: a Formal Revisitation of Functions as a Service
Authors: Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, and Stefano Pio Zingaro
14:20
14:40
Abstract Interpretation, Symbolic Execution and Constraints
Authors: Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sondergaard, and Peter J. Stuckey Abstract
14:40
15:00
The standard model for programming languages: The birth of a mathematical theory of computation
Author: Simone Martini
15:00
15:20
Locally Static, Globally Dynamic Session Types for Active Objects
Authors: Reiner Hähnle, Anton Haubner, and Eduard Kamburjan
15:20
15:30
Coffee Break
15:30
15:50
A concurrent language for Argumentation
Authors: Stefano Bistarelli and Carlo Taticchi
15:50
16:10
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
Authors: Frank De Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, and Lars Tveito
16:10
16:30
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy
Authors: Moreno Falaschi, Catuscia Palamidessi, and Marco Romanelli
16:30
16:50
Adaptive Real Time IoT Stream Processing in Microservices Architecture
Authors: Luca Bixio, Giorgio Delzanno, Stefano Rebora, and Matteo Rulli
16:50
17:20
Closing, non-technical talks, and greetings