Repositories list

• ProtoGen

  Public
  Python

  •

  MIT License

  •2•0•0•0•Updated Jan 6, 2022Jan 6, 2022

• Linearization-Protocol

  Public
  Verification of the Linearization Protocol proposed in: Scale-out CcNUMA: Exploiting Skew with Strongly Consistent Caching

  C++

  •2•0•0•0•Updated Jan 6, 2022Jan 6, 2022

• Dve_Protocol_Model_Check

  Public
  ProtoGen pcc protocol implementations of Dvé: Coherent Replication Protocol

  Objective-C

  •

  MIT License

  •1•0•0•0•Updated Oct 15, 2021Oct 15, 2021

• Kite

  Public
  Kite is a replicated, RDMA-enabled Key-Value Store that enforces available Release Consistency using Classic Paxos, ABD Eventual Store, and carstamps. The Kite paper appeared in PPoPP '20.

  C

  •3•0•0•0•Updated Sep 20, 2021Sep 20, 2021

• Zookeeper

  Public
  C

  •1•0•0•0•Updated Sep 20, 2021Sep 20, 2021

• Odyssey

  Public
  Shell

  •

  Apache License 2.0

  •4•0•0•0•Updated Sep 20, 2021Sep 20, 2021

• ccKVS

  Public
  An RDMA skew-aware key-value store, which implements the Scale-Out ccNUMA design, to exploit skew in order to increase performance of data-serving applications.

  C

  •

  Apache License 2.0

  •8•18•0•1•Updated Jul 1, 2021Jul 1, 2021

• verc3

  Public
  VerC3: Verification Toolkit for C3

  C++

  •

  Apache License 2.0

  •2•0•0•0•Updated Nov 30, 2017Nov 30, 2017

• roc3

  Public
  Simple language for protocol descriptions

  Haskell

  •2•2•2•0•Updated Oct 24, 2017Oct 24, 2017

• tso-cc

  Public
  M

  •1•0•0•0•Updated Jul 31, 2017Jul 31, 2017

• mc2lib

  Public
  Memory consistency model checking and test generation library.

  C++

  •

  BSD 3-Clause "New" or "Revised" License

  •5•0•0•0•Updated Oct 14, 2016Oct 14, 2016

• c3d-protocol

  Public
  Murphi model and table of C3D protocol.

  M

  •

  BSD 3-Clause "New" or "Revised" License

  •2•3•0•0•Updated Aug 20, 2016Aug 20, 2016