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
  ☆56Updated 9 months ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• softsys4ai / unicorn
  A Framework for Reasoning about System Performance using Causal AI
  ☆42Updated 3 years ago
• self-checker / SelfChecker
  ICSE2021 Submission
  ☆13Updated 2 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆23Updated last year
• guykatzz / ReluplexCav2017
  ☆102Updated 4 years ago
• xlab-uiuc / cdep-fse-ae
  Configuration dependency analysis for cloud software
  ☆23Updated 3 years ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆117Updated this week
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆127Updated this week
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• 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
• tianyin / configuration_datasets
  The configuration files and issues datasets collected from real users
  ☆31Updated 5 years ago
• xlab-uiuc / ctest-prio-ae
  Test-Case Prioritization for Configuration Testing
  ☆16Updated 3 years ago
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 4 years ago
• columbia / PrivateKube
  Privacy Budget Orchestration in Machine Learning Workloads (OSDI '21)
  ☆24Updated last year
• OrderLab / Legolas
  Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems
  ☆12Updated last year
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆19Updated 11 months ago
• akshithasriraman / Accelerometer
  The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…
  ☆15Updated 5 years ago
• VeriDeep / DLV
  Safety Verification of Deep Neural Networks
  ☆50Updated 7 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆21Updated 3 years ago
• zyqCSL / sinan-gcp
  ☆23Updated 4 years ago
• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆40Updated last year
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• harvard-cns / cherrypick
  ☆35Updated 7 years ago
• PrincetonUniversity / faas-profiler
  An open source tool for testing and profiling FaaS and serverless platforms
  ☆110Updated 3 months ago
• souradeep-111 / sherlock
  Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.
  ☆28Updated 5 years ago
• TrustAI / Literature-on-DNN-Verification-and-Testing
  ☆47Updated 6 years ago
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• resource-disaggregation / karma
  Resource Allocation for Dynamic Demands
  ☆20Updated last year
• wenischlab / MicroTune
  µTune: Auto-Tuned Threading for OLDI Microservices
  ☆14Updated 6 years ago