 |
TUESDAY June 2, 2015
8:00 – 8:50 Registration
8:50 – 9:00 Opening (Alain Girault, General Chair)
9:00 – 10:30 Keynote #1:
Alois Ferscha – Awareness as a Mechanism of Coordination in Planetary Scale Distributed Systems
Session chair: Mirko Viroli, Università di Bologna, Italy
10:30 – 11:00 Break
11:00 – 12:30 Joint Session (COORDINATION,DAIS,FORTE)
- A Fixpoint-based Calculus for Graph-shaped Computational Fields
Alberto Lluch Lafuente, Michele Loreti and Ugo Montanari - Fully Distributed Privacy Preserving Mini-Batch Gradient Descent Learning
Gábor Danner and Mark Jelasity. - Automatic Verication of Stabilization for Some Distributed Algorithms
Ritwika Ghosh and Sayan Mitra
12:30 – 14:00 Lunch
14:00 – 15:30 COORDINATION Session 1 — Tuple-based coordination
Session chair: Farhad Arbab, CWI and Leiden University, The Netherlands
- Replica-based High-Performance Tuple Space Computing
Marina Andric, Rocco De Nicola and Alberto Lluch Lafuente - Investigating Fluid-flow Semantics of Asynchronous Tuple-based Process Languages for Collective Adaptive Systems
Diego Latella, Michele Loreti and Mieke Massink - Logic Fragments: a coordination model based on logic inference
Francesco Luca De Angelis and Giovanna Di Marzo Serugendo
14:00 – 15:30 DAIS Session 1 – Datastores
Session chair: Alysson Bessani, Universidade de Lisboa, Portugal
- X-Ray: Monitoring and analysis of distributed database queries
Pedro Guimarães and Jose Pereira - Leader Election with a NewSQL Database
Salman Niazi, Mahmoud Ismail, Gautier Berthou and Jim Dowling - Concise Server-Wide Causality Management for Eventually Consistent Data Stores
Ricardo Gonçalves, Paulo Sérgio Almeida, Carlos Baquero and Victor Fonte
14:00 – 15:30 FORTE Session 1 — Ensuring Properties of Distributed Systems
- Timely Dataflow: A Model
Martín Abadi and Michael Isard - On Partial Order Semantics for SAT/SMT-based Symbolic Encodings of Weak Memory Concurrency
Alex Horn and Daniel Kroening - Types for Deadlock-Free Higher-Order Programs
Luca Padovani and Luca Novara
15:30 – 16:00 Break
16:00 – 17:00 COORDINATION Session 2 — Constraints
Session chair: Carolyn Talcott, SRI International, California, USA
- Take Command of Your Constraints!
Sung-Shik T.Q. Jongmans and Farhad Arbab - A Labelled Semantics for Soft Concurrent Constraint Programming
Fabio Gadducci, Francesco Santini, Luis Pino and Frank Valencia
16:00 – 17:30 DAIS Session 2 – Cloud
Session Chair: Paulo Sérgio Almeida, INESC TEC, Porto, Portugal
- Fluidify: Decentralized Overlay Deployment in a Multi-Cloud World
Resmi Ariyattu and Francois Taiani - LiveCloudInspector: Towards Integrated IaaS Forensics in the Cloud
Julian Zach and Hans P. Reiser - Incentivising Resource Sharing in Federated Clouds (short)
Eduardo de Lucena Falcão, Francisco Brasileiro, Andrey Brito and Jose Luis Vivas. - Replication of Recovery Log — an Approach to Enhance SOA Reliability (short)
Anna Kobusinska
16:00 – 17:00 FORTE Session 2 — Efficient Verification Techniques
- Sliced Path Prefixes – An Effective Method to Enable Refinement Selection
Dirk Beyer, Stefan Löwe and Philipp Wendler - Extending Testing Automata to All LTL
Ala Eddine Ben Salem
WEDNESDAY, June 3, 2015
9:00 – 10:30 Keynote #2:
Willy Zwaenepoel – Analytics on Graphs with a Trillion Edges
10:30 – 11:00 Break
11:00 – 12:30 COORDINATION Session 3 — Coordinating ensembles
Session chair: Rocco de Nicola, IMT – Institute for Advanced Studies, Italy
- Dynamic Choreographies: Safe Runtime Updates of Distributed Applications
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese and Jacopo Mauro - Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles
Edmund Soon Lee Lam, Iliano Cervesato and Nabeeha Fatima - Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π − Calculi
Luca Padovani, Tzu-Chun Chen and Andrea Tosatto
11:00 – 12:30 – DAIS Session 3 – Scalability
Session chair: Jim Dowling, KTH, Stockholm, Sweden
- Dynamic Message Processing and Transactional Memory in the Actor Model
Yaroslav Hayduk, Anita Sobe and Pascal Felber - Cheap and Cheerful: Trading Speed and Quality for Scalable Social-Recommenders
Anne-Marie Kermarrec, Francois Taiani and Juan M. Tirado - Similitude: Decentralised Adaptation in Large-Scale P2P Recommenders
Davide Frey, Anne-Marie Kermarrec, Christopher Maddock, Andreas Mauthe, Pierre-Louis Roman and François Taïani
11:00 – 12:00 – FORTE Session 3 : Models for Concurrency and Distribution
- Dynamic Causality in Event Structures
Youssef Arbach, David S. Karcher, Kirstin Peters and Uwe Nestmann - Code Mobility Meets Self-organisation: a Higher-order Calculus of Computational Fields
Ferruccio Damiani, Mirko Viroli, Danilo Pianini and Jacob Beal - Loop Freedom in AODVv2
Kedar Namjoshi and Richard Trefler
12:30 – 14:00 Lunch
14:00 – 15:30 10th Anniversary Panel : DisCotec Science, the Next 10 Years
Panelists: Erika Abraham, Ahmed Bouajjani, Frank de Boer, Rocco de Nicola, Kurt Geihs, Willy Zwaenepoel
15:30 – 16:00 Break
16:00 – 17:30 COORDINATION Session 4 – Agent-oriented techniques
Session chair: Tom Holvoet, KU Leuven, Belgium
- Parallelisation and application of AD3 as a method for solving large scale combinatorial auctions
Francisco Cruz-Mencia, Antonio Espinosa, Juan Carlos Moure, Jesus Cerquides and Juan Antonio Rodriguez-Aguilar - Handling agent perception in heterogeneous distributed systems: a policy-based approach
Stephen Cranefield and Surangika Ranathunga - Blending Event-Based and Multi-Agent Systems around Coordination Abstractions
Andrea Omicini, Giancarlo Fortino and Stefano Mariani
16:00 – 17:30 DAIS Session 4 – Consistency and Performance
Session Chair: Hans P. Reiser, University of Pasau, Germany
- A CRDT Supporting Selective Undo for Collaborative Text Editing
Weihai Yu, Luc André and Claudia-Lavinia Ignat - Practical Evaluation of Large Scale Applications
Tiago Jorge, Francisco Maia, Miguel Matos, Jose Pereira and Rui Oliveira. - The Impact of Consistency on System Latency in Fault Tolerant Internet Computing
Olga Tarasyuk, Alexander Romanovsky, Anatoliy Gorbenko, Vyacheslav Kharchenko and Vitalii Ruban.
16:00 – 17:00 FORTE Session 4 — Security
- Safe and simple isolation for an actor abstract machine
Benoit Claudel, Quentin Sabah and Jean-Bernard Stefani - Type checking privacy policies in the pi-calculus
Dimitrios Kouzapas and Anna Philippou
THURSDAY, June 4, 2015
9:00 – 10:30 Keynote #3:
Leslie Lamport – What Should Math Have to do with Building Complex Distributed Systems?
10:30 – 11:00 Break
11:00 – 12:30 COORDINATION Session 5 – Shared spaces
Session chair: Eva Kuhn, TU Wien, Austria
- Klaim-DB: A Modeling Language for Distributed Database Applications
Xi Wu, Ximeng Li, Alberto Lluch Lafuente, Flemming Nielson and Hanne Riis Nielson - Open transactions on shared memory
Marino Miculan, Marco Peressotti and Andrea Toneguzzo - VISIRI – Distributed complex event processing system for handling large number of queries
Malinda Kumarasinghe, Geeth Tharanga, Lasitha Weerasinghe, Ujitha Wickramarathna and Surangika Ranathunga
11:00 -12:30 DAIS Session 5 – Resource Management
Session chair: Frank Eliassen, University of Oslo, Norway
- Heterogeneous Resource Selection for Arbitrary HPC Applications in the Cloud
Anca Iordache, Eliya Buyukkaya and Guillaume Pierre. - MERCi-MIsS: Should I turn off my servers?
Mar Callau-Zori, Luciana Arantes, Julien Sopena and Pierre Sens - Distributed Monitoring and Management of Exascale Systems in the Argo Project (short)
Swann Perarnau, Rajeev Thakur, Kamil Iskra, Ken Raffenetti, Franck Cappello, Rinku Gupta,
Pete Beckman, Marc Snir, Henry Hoffmann, Martin Schulz and Barry Rountree
11:00 – 12:00 FORTE Session 5 : Ensuring Properties of Distributed Systems
- Translation Validation for Synchronous Data-flow Specification in the SIGNAL Compiler
Van-Chan Ngo, Jean-Pierre Talpin and Thierry Gautier - Faster linearizability checking via P-compositionality
Alex Horn and Daniel Kroening
12:00 – 13:00 FORTE Session 6 : Real Time Systems
- Compliance and subtyping in timed session types
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu - Difference Bound Constraint Abstraction for Timed Automata Reachability Checking
Weifeng Wang and Li Jiao