Alternatives and similar repositories for causal-system-papers:

Users that are interested in causal-system-papers are comparing it to the libraries listed below

• tianyin / configuration-management-papers
  A Reading List of System Configuration Management
  ☆55Updated 5 months ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆22Updated last year
• xlab-uiuc / cdep-fse-ae
  Configuration dependency analysis for cloud software
  ☆22Updated 3 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 3 years ago
• xlab-uiuc / ctest-prio-ae
  Test-Case Prioritization for Configuration Testing
  ☆16Updated 3 years ago
• columbia / PrivateKube
  Privacy Budget Orchestration in Machine Learning Workloads (OSDI '21)
  ☆24Updated last year
• 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 3 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆117Updated 2 months ago
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆18Updated 8 months ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• self-checker / SelfChecker
  ICSE2021 Submission
  ☆13Updated 2 years ago
• ModelInference / texada
  Efficient techniques for mining LTL formulae over linear input traces
  ☆20Updated last year
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated 10 months ago
• 95616ARG / PRDNN
  Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."
  ☆10Updated 2 years ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆46Updated 3 years ago
• nal-epfl / castan
  Cycle Accurate Symbolic Timing Analysis of Network Functions
  ☆10Updated 3 years ago
• ramanala / PACE
  Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems
  ☆15Updated 8 years ago
• vijay03 / asstprofbook
  Github repo backing website for the CS Assistant Professor Handbook
  ☆26Updated 5 months ago
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆30Updated last year
• tianyin / configuration_datasets
  The configuration files and issues datasets collected from real users
  ☆31Updated 4 years ago
• akshithasriraman / Accelerometer
  The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…
  ☆15Updated 5 years ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆89Updated 4 years ago
• LPD-EPFL / mu
  Mu: Microsecond Consensus for Microsecond Applications
  ☆39Updated 4 years ago
• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆40Updated 11 months 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…
  ☆60Updated 11 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• ise-uiuc / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆69Updated last year
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆104Updated this week
• DS3Lab / LambdaML
  Machine learning on serverless platform
  ☆8Updated 2 years ago