Alternatives and similar repositories for ConAnalysis

Users that are interested in ConAnalysis are comparing it to the libraries listed below

• sihangliu / pmtest
  ☆28Updated 5 years ago
• sslab-gatech / shfllock
  ☆43Updated 3 years ago
• tianyin / configuration-management-papers
  A Reading List of System Configuration Management
  ☆56Updated last year
• columbia / crane
  Transparent Paxos
  ☆44Updated 6 years ago
• jieyu / concurrency-bugs
  A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…
  ☆61Updated 12 years ago
• hku-systems / apus
  An RDMA-powered, fast, and scalable Paxos protocol
  ☆25Updated 6 years ago
• kozyraki / phoenix
  an API and runtime environment for data processing with MapReduce for shared-memory multi-core & multiprocessor systems.
  ☆96Updated last year
• ramanala / PACE
  Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems
  ☆15Updated 8 years ago
• trigonak / ccbench
  A tool for measuring the cache-coherence latencies of a processor (i.e., the latencies of loads, stores, CAS, FAI, TAS, and SWAP).
  ☆78Updated 3 years ago
• snalli / nstore
  NVM Database from Carnegie-Mellon U
  ☆24Updated 5 years ago
• snalli / mnemosyne-gcc
  GCC port of TM system Mnemosyne
  ☆32Updated 6 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆87Updated 9 years ago
• WiscADSL / uFS
  A Filesystem Semi-Microkernel.
  ☆42Updated last year
• oscarlab / versioning
  Framework for creating simple, efficient, and composable lock-free data structures
  ☆12Updated 9 years ago
• efficient / paper_skel
  A LaTeX paper skeleton for CS systems conference formats
  ☆54Updated 6 years ago
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆19Updated last year
• rstream-system / RStream
  ☆25Updated 2 years ago
• hedayati / hodor
  Hodor-PKU
  ☆25Updated 4 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆21Updated 3 years ago
• uclasystem / MemLiner
  MemLiner is a remote-memory-friendly runtime system.
  ☆31Updated 2 years ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• multicore-locks / litl
  LiTL: Library for Transparent Lock Interposition
  ☆84Updated 2 years ago
• NYU-NEWS / janus
  ☆51Updated last year
• ut-osa / strata
  Strata: A Cross Media File System
  ☆74Updated 2 years ago
• TheNetAdmin / LENS-VANS
  Characterizing and Modeling Non-Volatile Memory Systems [MICRO'20, TopPicks'21]
  ☆33Updated 3 years ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆46Updated last week
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 4 years ago
• eniac / Beldi
  ☆52Updated 2 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆18Updated 4 years ago
• stanford-mast / reflex
  ReFlex: Remote Flash == Local Flash
  ☆90Updated 6 years ago