Write a Blog >>
Tue 20 Jun 2017 16:00 - 16:20 at Vertex WS217 - D Chair(s): Radu Grigore

Consistency is a long-standing problem in distributed systems. Low consistency levels are considered a necessity for scalability. High consistency is required for critical tasks such as payment and identification. Modern (geo-)distributed systems rely on the data propagation mechanisms and consistency guarantees of the distributed data store they build upon, which makes the implementation of a system that mixes different levels of consistency complex and error prone. In this paper, we present preliminary work on ConSysT, a programming language that supports heterogeneous consistency specifications at the type level. In ConSysT, developers assign consistency levels directly to the data and type system ensures the correct behavior of the application even with computations that mix data at multiple consistency levels. Our vision is that the ConSysT runtime automatically determines the most efficient mechanism to achieve the desired level of consistency among those offered by the underlying data store.

Tue 20 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00
DFTfJP at Vertex WS217
Chair(s): Radu Grigore University of Kent
16:00
20m
Talk
Consistency Types for Safe and Efficient Distributed Programming
FTfJP
Alessandro Margara Politecnico di Milano, Guido Salvaneschi TU Darmstadt
16:20
35m
Talk
Correctness of Partial Escape Analysis for Multithreading Optimization
FTfJP
Dustin Rhodes , Cormac Flanagan University of California, Santa Cruz, Stephen N. Freund Williams College
16:55
35m
Talk
Parametric trace expressions for runtime verification of Java-like programs
FTfJP
Davide Ancona University of Genova, Angelo Ferrando , Luca Franceschini DIBRIS, University of Genova, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy