IT Track

Giuseppe F. Italiano
Title of the Talk : TBA

DC Track

Michel Raynal
Title of the Talk : The Linearizability Hierarchy: An Example-based Introduction.

Dr. Debasish Das
Title of the Talk : Designing High-Performance Distributed Systems In Cloud

Keynote Speaker

DC Track

Michel Raynal (https://team.inria.fr/wide/team/michel-raynal/)
Professor at IRISA, University of Rennes, France

Title of the Talk : The Linearizability Hierarchy: An Example-based Introduction.

This talk is neither a survey nor a research paper in the classical sense, but an example-based introduction to the linearizability hierarchy. Its aim is to explain it in an “as simple as possible” way. While linearizability is a consistency condition that addresses objects defined by a sequential specification, set-linearizability and interval-linearizability are consistency conditions that have been introduced to take into account objects defined by a concurrent specification. So, they naturally extend linearizability (and its fundamental composability property) from sequential to concurrent objects specification. The aim of the talk is not to present the theoretical foundations of set-linearizability and interval-linearizability, but to explain concurrency patterns allowed by concurrent specifications, and show how these consistency conditions report on them. This is done in a very simple way with the help of three objects that define a family of snapshot objects. In addition to the fact that it constitutes a pedagogical introduction to the topic, this talk has also a concurrency-related historical flavor.

Keywords:
Asynchrony · Concurrent object · Concurrent specification · Contention point · Contention interval · Crash failure · Interval linearizability · Linearizability hierarchy · Object specification · Modular programming · Read/write register · Set-linearizability · Read/write -based communcation, Simultaneity · Snapshot object · Time ubiquity

Dr. Debasish Das
Worked in Yahoo, Amazon and Google as senior technical contributor for the last 15 years, building high tps, distributed systems using AWS and GCP.

Title of the Talk : Designing High-Performance Distributed Systems In Cloud

Building high performance distributed systems is complex and needs the application of rigour and time tested practices. In this lecture, we shall discuss the common pitfalls of building such systems, more so in the cloud, which can’t be overcome by applying anecdotes, hearsay and just the work experience. In the first part of the discussion we would focus on the principles and design patterns involved in building a large-scale high performance system and in the second part we would bring in the complexity of building it in the cloud (using commodity hardware) where failure of the individual components or network partition is a common occurrence. In this discussion, we won’t focus on a specific application, but we will explain the concepts using 1) a simple web application which depends on a datastore and needs synchronous response 2) an asynchronous (off-line) data processing job. We shall discuss the theoretical issues of Scalability, Data Consistency and Robustness in the first part and focus on the problems created by the Faulty Hardware and Network Latency in the next. We would also discuss the Security issues in the cloud. We shall introduce the CAP theorem, Split Brain problem, Distributed Caching, Leader Election and Consensus algorithms, Gossip protocol and Clock Synchronisation. The goal of this talk is to shift the failure discussions to the left, while the architecture of the system is defined rather than doing it as an afterthought while the system starts failing in the production environment.

IT Track

Giuseppe F. Italiano (http://clio.luiss.it/team_/giuseppe-francesco-italiano/)
After getting a Ph.D. in Computer Science at Columbia University, Giuseppe F. Italiano worked as a Research Staff Member at the IBM T.J. Watson Research Center in Yorktown Heights (New York). When he was 33 years old, he won a National competition for Full Professor and went back to Italy. Before joining LUISS University, he was professor of computer science at University of Salerno, University “Ca’ Foscari” of Venice, and University of Rome “Tor Vergata”.

Title of the Talk : TBA