Alternatives and similar repositories for causal-system-papers

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

• softsys4ai / unicorn
  A Framework for Reasoning about System Performance using Causal AI
  ☆44Updated 3 years ago
• tianyin / configuration-management-papers
  A Reading List of System Configuration Management
  ☆57Updated last year
• akshithasriraman / Accelerometer
  The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…
  ☆16Updated 5 years ago
• harvard-cns / cherrypick
  ☆35Updated 8 years ago
• self-checker / SelfChecker
  ICSE2021 Submission
  ☆13Updated 3 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆25Updated 2 years ago
• columbia / PrivateKube
  Privacy Budget Orchestration in Machine Learning Workloads (OSDI '21)
  ☆26Updated 2 years ago
• xinjin / course-adv-net
  Advanced Computer Networks @ Johns Hopkins University
  ☆37Updated 6 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆18Updated 4 years ago
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆38Updated last month
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 5 years ago
• guykatzz / ReluplexCav2017
  ☆101Updated 5 years ago
• vhive-serverless / vSwarm
  A suite of representative serverless cloud-agnostic (i.e., dockerized) benchmarks
  ☆58Updated 3 weeks ago
• zyqCSL / sinan-gcp
  ☆24Updated 4 years ago
• ut-osa / nightcore
  Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]
  ☆105Updated 4 years ago
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆57Updated last year
• ModelInference / texada
  Efficient techniques for mining LTL formulae over linear input traces
  ☆18Updated 2 years ago
• zbchern / awesome-machine-learning-reliability
  A curated list of awesome resources regarding machine learning reliability.
  ☆31Updated 4 years ago
• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆40Updated last year
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 5 years ago
• TrustAI / Literature-on-DNN-Verification-and-Testing
  ☆47Updated 7 years ago
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆19Updated last year
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆22Updated 4 years ago
• noise-lab / nsf-template
  Template for NSF Proposals
  ☆16Updated last month
• vijay03 / asstprofbook
  Github repo backing website for the CS Assistant Professor Handbook
  ☆27Updated last year
• mblo / hire-cluster-simulator
  Switches for HIRE: Resource Scheduling for Data Center In-Network Computing
  ☆13Updated 4 years ago
• nal-epfl / castan
  Cycle Accurate Symbolic Timing Analysis of Network Functions
  ☆10Updated 4 years ago
• yncxcw / big-c
  ☆18Updated 8 years ago
• ChrisCummins / paper-end2end-dl
  📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)
  ☆72Updated 2 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆159Updated 3 weeks ago