Tue 19 Jun 2018 16:45 - 16:50 at Columbus Ballroom B - Lightning Talks

Distributed protocols have been considered as one of too complicated structures to verify because of their intrinsic interleavings that may introduce state explosions. Serializability has been known as a crucial key to verify such protocols by ensuring that each trace of the target system is observably equivalent to a sequential trace. However, it is quite difficult to find good serializability conditions and it is even more difficult to prove the correctness. In this talk, we will show that there exist good serializability conditions and that the correctness can be proven automatically in a proof assistant.

Tue 19 Jun

deepspec-2018-papers
16:10 - 17:35: DeepSpec 2018 - Lightning Talks at Columbus Ballroom B
deepspec-2018-papers16:10 - 16:15
Talk
deepspec-2018-papers16:15 - 16:20
Talk
deepspec-2018-papers16:20 - 16:25
Talk
Gordon StewartOhio University
deepspec-2018-papers16:25 - 16:30
Talk
deepspec-2018-papers16:30 - 16:35
Talk
deepspec-2018-papers16:35 - 16:40
Talk
deepspec-2018-papers16:40 - 16:45
Talk
Christine RizkallahUniversity of New South Wales
deepspec-2018-papers16:45 - 16:50
Talk
Joonwon ChoiMassachusetts Institute of Technology, USA
deepspec-2018-papers16:50 - 16:55
Talk
Sam GruetterMassachusetts Institute of Technology