tianyin / configuration-management-papers

Related projects ⓘ

Alternatives and complementary repositories for configuration-management-papers

• xlab-uiuc / cdep-fse-ae
  Configuration dependency analysis for cloud software
  ☆22Updated 2 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆16Updated 3 years ago
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆29Updated 11 months ago
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• xlab-uiuc / ctest-prio-ae
  Test-Case Prioritization for Configuration Testing
  ☆15Updated 3 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆19Updated 2 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆24Updated last year
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• rssys / snowcat
  This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…
  ☆12Updated last year
• Romero027 / sysnet-reading-list
  This repository contains a list of papers on various topics (that I am working/worked on) in the system and networking area.
  ☆69Updated 3 weeks ago
• xlab-uiuc / reading-system-verification-papers
  A reading group for system verification papers
  ☆10Updated last year
• Vic0428 / Paper-Reading-Lists
  Random collections of my interested research papers / projects
  ☆20Updated 3 years ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆17Updated this week
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆111Updated last month
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆20Updated 3 years ago
• WukLab / Pythia
  Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.
  ☆25Updated 4 years ago
• akshithasriraman / Accelerometer
  The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…
  ☆15Updated 4 years ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆31Updated last week
• library-testing / Muffin
  This is the implementation repository of our ICSE'22 paper: Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.
  ☆30Updated 2 years ago
• lastweek / 2022-UCSD-Thesis
  Yizhou Shan's Doctoral Dissertation (UCSD CSE)
  ☆15Updated 2 years ago
• nal-epfl / castan
  Cycle Accurate Symbolic Timing Analysis of Network Functions
  ☆10Updated 2 years ago
• Graspan / Graspan-G
  Graspan-G is a GPU-based version of Graspan.
  ☆9Updated 3 years ago
• lujiefsi / CrashTuner
  CrashTuner(SOSP2019)
  ☆26Updated 5 years ago
• LogTwenty / Log20
  Implementation of Log20 in Java
  ☆12Updated 6 years ago
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆21Updated last year
• wjy99-c / QDiff
  ☆11Updated 3 years ago
• uclasystem / Semeru
  A Memory-Disaggregated Managed Runtime.
  ☆65Updated 3 years ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆48Updated last year
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆18Updated 4 months ago
• hedayati / hodor
  Hodor-PKU
  ☆23Updated 3 years ago