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

13:00 – 13:30 Closing Plenary

13:30 – 14:30 Lunch