Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B C D E J K M P S

B
Buchman, Ethan	The latest gossip on BFT consensus
C
Cerone, Andrea	Making Parallel Snapshot Isolation Serializable
D
Delzanno, Giorgio	Formal Verification of Internet of Things Protocols
E
Emmi, Michael	Specifying Non-Atomic Methods of Concurrent Objects
Enea, Constantin	Specifying and Verifying Concurrent Objects
J
Jaax, Stefan	Peregrine - A Tool for Population Protocols
K
Kukovec, Jure	Parameterized Reachability for All Flavors of Threshold Automata
M
McMillan, Kenneth	Building verified distributed systems with IVy
P
Pavlogiannis, Andreas	Stateless model-checking under the data-centric view
S
Shimi, Adam	From Asynchronous Message-Passing Models To Rounds
Stoilkovska, Ilina	Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction