Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems
☆18Mar 6, 2025Updated 11 months ago
Alternatives and similar repositories for xinda
Users that are interested in xinda are comparing it to the libraries listed below
Sorting:
- ICSE2021 Submission☆13Aug 28, 2022Updated 3 years ago
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆26Oct 3, 2023Updated 2 years ago
- A feedback-driven fault injection tool for reproducing distributed systems failures☆16Apr 25, 2025Updated 10 months ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Feb 10, 2026Updated 2 weeks ago
- MikanOSをRustで製作したいプロジェクトです☆10Dec 1, 2023Updated 2 years ago
- 🕹 Implementation for the lesson Compiling Engineering(2020 Spring) in Peking University, adjusted from UCLA CS 132 Project.☆10Jun 21, 2020Updated 5 years ago
- docker openconnect proxy☆11Feb 3, 2021Updated 5 years ago
- Submit your work to JOJ via CLI.☆10Jul 24, 2024Updated last year
- Useful Monads in Elm☆10Feb 8, 2016Updated 10 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- Mirror of http://svn.linuxvirtualserver.org/repos/ipvsadm☆12Dec 30, 2015Updated 10 years ago
- A light-weight library for manual distributed system tracing☆11Feb 2, 2022Updated 4 years ago
- Zodiac: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024☆15Nov 28, 2024Updated last year
- ☆11Oct 22, 2020Updated 5 years ago
- 编译原理课程实践中用于测试的代码☆10Jun 9, 2021Updated 4 years ago
- SUSTech CS202/CS214 Computer Organization Project. Streams Bad Apple.☆10Dec 11, 2023Updated 2 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Feb 7, 2025Updated last year
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆16Apr 21, 2024Updated last year
- A replicated key value store that achieves eventual consistency through the use of conflict-free replicated data types (CRDTs). Individua…☆11Mar 2, 2021Updated 4 years ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 2 years ago
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆11Mar 29, 2024Updated last year
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated last year
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Nov 29, 2019Updated 6 years ago
- Berkeley OS Prelim Reading Notes☆15Sep 20, 2023Updated 2 years ago
- Lightweight OpenGL-based rendering engine for OCaml (unreleased)☆23Aug 8, 2017Updated 8 years ago
- Gitea actions based, 3rd generation of joint online judge. Mirrored from https://focs.ji.sjtu.edu.cn/git/JOJ/JOJ3.☆16Feb 13, 2026Updated 2 weeks ago
- CS305 Computer Network Notes☆14Sep 14, 2021Updated 4 years ago
- CS302 OS Notes☆10Jun 17, 2021Updated 4 years ago
- Allow you walk when others run☆10Dec 6, 2019Updated 6 years ago
- https://github.com/jellyqwq/novel#novel☆18Apr 10, 2022Updated 3 years ago
- A collaborative machine learning framework that operates through Tor.☆13Jun 1, 2020Updated 5 years ago
- ☆11Jun 25, 2021Updated 4 years ago
- Programmer-friendly framework for visual novels (VN) / text-based adventure games (AVG) on Godot☆20Aug 27, 2024Updated last year
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Oct 16, 2020Updated 5 years ago
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆15Nov 14, 2016Updated 9 years ago
- ☆15Feb 7, 2026Updated 3 weeks ago
- ☆14Feb 20, 2026Updated last week
- ☆13May 18, 2018Updated 7 years ago