Skip to content
@icsa-caps

icsa-caps

Popular repositories Loading

  1. ccKVS 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 17 8

  2. c3d-protocol c3d-protocol Public

    Murphi model and table of C3D protocol.

    M 3 2

  3. roc3 roc3 Public

    Simple language for protocol descriptions

    Haskell 2 2

  4. mc2lib mc2lib Public

    Forked from melver/mc2lib

    Memory consistency model checking and test generation library.

    C++ 1

  5. tso-cc tso-cc Public

    M 1

  6. verc3 verc3 Public

    VerC3: Verification Toolkit for C3

    C++ 2

Repositories

Showing 10 of 12 repositories
  • ProtoGen Public Forked from Errare-humanum-est/ProtoGen
    icsa-caps/ProtoGen’s past year of commit activity
    Python 0 MIT 2 0 0 Updated Jan 6, 2022
  • Linearization-Protocol Public Forked from Errare-humanum-est/Linearization-Protocol

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

    icsa-caps/Linearization-Protocol’s past year of commit activity
    C++ 0 2 0 0 Updated Jan 6, 2022
  • Dve_Protocol_Model_Check Public Forked from Errare-humanum-est/Dve_Protocol_Model_Check

    ProtoGen pcc protocol implementations of Dvé: Coherent Replication Protocol

    icsa-caps/Dve_Protocol_Model_Check’s past year of commit activity
    Objective-C 0 MIT 1 0 0 Updated Oct 15, 2021
  • Kite Public Forked from vasigavr1/Kite

    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.

    icsa-caps/Kite’s past year of commit activity
    C 0 3 0 0 Updated Sep 20, 2021
  • Zookeeper Public Forked from vasigavr1/Zookeeper
    icsa-caps/Zookeeper’s past year of commit activity
    C 0 1 0 0 Updated Sep 20, 2021
  • Odyssey Public Forked from vasigavr1/Odyssey
    icsa-caps/Odyssey’s past year of commit activity
    Shell 0 Apache-2.0 4 0 0 Updated Sep 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.

    icsa-caps/ccKVS’s past year of commit activity
    C 17 Apache-2.0 8 0 1 Updated Jul 1, 2021
  • verc3 Public

    VerC3: Verification Toolkit for C3

    icsa-caps/verc3’s past year of commit activity
    C++ 0 Apache-2.0 2 0 0 Updated Nov 30, 2017
  • roc3 Public

    Simple language for protocol descriptions

    icsa-caps/roc3’s past year of commit activity
    Haskell 2 2 2 0 Updated Oct 24, 2017
  • tso-cc Public
    icsa-caps/tso-cc’s past year of commit activity
    M 0 1 0 0 Updated Jul 31, 2017
View all repositories

Most used topics

Loading…