ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Tue 17 Nov 2020 00:00 - 00:20 at SPLASH-I - M-3 Chair(s): Patrick Rein, Hidehiko Masuhara
Mon 16 Nov 2020 12:00 - 12:20 at SPLASH-I - M-3 Chair(s): John Boyland, Peter Thiemann

We introduce an interleaving operational semantics for describing the client-observable behaviour of atomic transactions on distributed key-value stores. Our semantics builds on abstract states comprising centralised, global key-value stores and partial client views. We provide operational definitions of consistency models for our abstract states which we show to be equivalent to the well known declarative definitions of consistency model on abstract executions. We explore two applications, verifying that the COPS replicated database and the Clock-SI partitioned database satisfy their consistency models using trace refinement, and proving invariant properties of client programs.

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

11:00 - 12:20: M-3Research Papers at SPLASH-I +12h
Chair(s): John BoylandUniveristy of Wisconsin, Milwaukee, Peter ThiemannUniversity of Freiburg, Germany
11:00 - 11:20
Talk
Research Papers
Sam Van den VonderVrije Universiteit Brussel, Thierry RenauxVrije Universiteit Brussel, Bjarno OeyenVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication DOI Pre-print Media Attached
11:20 - 11:40
Talk
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
11:40 - 12:00
Talk
Research Papers
Bruno C. d. S. OliveiraUniversity of Hong Kong, Shaobo Cui, Baber RehmanUniversity of Hong Kong
Link to publication DOI Media Attached
12:00 - 12:20
Talk
Research Papers
Shale XiongARM Research, Andrea CeroneFootball Radar, Azalea RaadMPI-SWS / Imperial College London, Philippa GardnerImperial College London
Link to publication DOI Media Attached
23:00 - 00:20: M-3Research Papers at SPLASH-I
Chair(s): Patrick ReinHasso Plattner Institute, Hidehiko MasuharaTokyo Institute of Technology
23:00 - 23:20
Talk
Research Papers
Sam Van den VonderVrije Universiteit Brussel, Thierry RenauxVrije Universiteit Brussel, Bjarno OeyenVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication DOI Pre-print Media Attached
23:20 - 23:40
Talk
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
23:40 - 00:00
Talk
Research Papers
Bruno C. d. S. OliveiraUniversity of Hong Kong, Shaobo Cui, Baber RehmanUniversity of Hong Kong
Link to publication DOI Media Attached
00:00 - 00:20
Talk
Research Papers
Shale XiongARM Research, Andrea CeroneFootball Radar, Azalea RaadMPI-SWS / Imperial College London, Philippa GardnerImperial College London
Link to publication DOI Media Attached