Write a Blog >>
Tue 11 Jul 2017 11:20 - 11:45 at Bren 1414 - Concurrency Chair(s): Chao Wang

We define two complementary approaches to monitor decentralized systems. The first relies on those with a centralized specification, i.e, when the specification is written for the behavior of the entire system. To do so, our approach introduces a data-structure that i) keeps track of the execution of an automaton, ii) has predictable parameters and size, and iii) guarantees strong eventual consistency. The second approach defines decentralized specifications wherein multiple specifications are provided for separate parts of the system. We study decentralized monitorability, and present a general algorithm for monitoring decentralized specifications. We map three existing algorithms to our approaches and provide a framework for analyzing their behavior. Lastly, we introduce our tool, which is a framework for designing such decentralized algorithms, and simulating their behavior.

Tue 11 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

10:30 - 11:45: ConcurrencyTechnical Papers at Bren 1414
Chair(s): Chao Wang
10:30 - 10:55
Talk
Technical Papers
Pallavi MaiyaIndian Institute of Science, Bangalore, Aditya KanadeIndian Institute of Science, Bangalore
DOI
10:55 - 11:20
Talk
Technical Papers
Yu WangNanjing University, China, Linzhang Wang, Tingting YuUniversity of Kentucky, Jianhua ZhaoNanjing University, China, Xuandong LiNanjing University
DOI
11:20 - 11:45
Talk
Technical Papers
Antoine El-HokayemGrenoble Alpes University, France / Inria, France / CNRS, France, Yliès FalconeUniv. Grenoble Alpes, Inria
DOI