SOSP'21 Witcher Artifact
☆10Aug 19, 2021Updated 5 years ago
Alternatives and similar repositories for witcher
Users that are interested in witcher are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆27Feb 23, 2020Updated 6 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Jul 19, 2021Updated 5 years ago
- KLEE Symbolic Execution Engine☆10Jan 31, 2026Updated 8 months ago
- DGAP: Efficient Dynamic Graph Analysis on Persistent Memory [SC'23]☆10Jun 27, 2023Updated 3 years ago
- ☆35Jan 7, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Rust library for safely programming persistent memory☆77Jun 6, 2024Updated 2 years ago
- Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (ht…☆19Jan 30, 2020Updated 6 years ago
- GCC port of TM system Mnemosyne☆32Jun 9, 2026Updated 4 months ago
- Lenovo modifications to Linux memcached for enhanced persistent memory support☆18Nov 4, 2021Updated 4 years ago
- Volatile Persistent Memory Allocator☆26Mar 22, 2023Updated 3 years ago
- Recoverable lock-free allocator based on LRMalloc☆48Oct 23, 2020Updated 6 years ago
- RECIPE : high-performance, concurrent indexes for persistent memory (SOSP 2019)☆195Oct 15, 2024Updated 2 years ago
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 9 years ago
- ☆21Jun 4, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ALPChecker - a tool to detect spoofing and blinding attacks on the ALPC interaction☆13Feb 13, 2023Updated 3 years ago
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 6 years ago
- Characterizing and Modeling Non-Volatile Memory Systems [MICRO'20, TopPicks'21]☆32Jan 13, 2022Updated 4 years ago
- ☆17Apr 6, 2026Updated 6 months ago
- A Performance Study of Optane Persistent Memory: From Indexing Data Structures’ Perspective [MSST'20]☆20Oct 29, 2020Updated 6 years ago
- In-game overlay Flash timer for popular game League of Legends.☆11Aug 7, 2023Updated 3 years ago
- Duo is an automated tool to formally verify distributed protocols (e.g., Paxos) by inferring inductive invariants.☆12May 1, 2025Updated last year
- ☆27Aug 2, 2017Updated 9 years ago
- A jobserver for running experiments on test machines and copying results back.☆14Apr 5, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- C++ bindings & containers for libpmemobj☆111Mar 22, 2023Updated 3 years ago
- Atomix Jepsen tests☆14Feb 7, 2017Updated 9 years ago
- Source Code for 'Programming Persistent Memory: A Comprehensive Guide for Developers' by Steve Scargall☆111Nov 19, 2021Updated 4 years ago
- Smartcity-Smarthouse☆12Jul 3, 2017Updated 9 years ago
- Homework assignments of Computer Architecture (USTC 2020 spring)☆12Mar 8, 2021Updated 5 years ago
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆13Jan 21, 2025Updated last year
- Example RPC service for blog post☆17Jul 13, 2019Updated 7 years ago
- 一个用Apple Metal实现的Llama和通义千问大模型本地推理☆10Apr 26, 2024Updated 2 years ago
- λFS: an elastic, high-performance, serverless-function-based metadata service for large-scale distributed file systems (ACM ASPLOS'23)☆15Apr 2, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆10May 12, 2023Updated 3 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆18Dec 16, 2024Updated last year
- A framework for correctly implementing stateful microservice applications on serverless using standard Python.☆13Jan 5, 2023Updated 3 years ago
- ☆13Dec 30, 2025Updated 9 months ago
- ☆14Oct 7, 2025Updated last year
- WORT: Write Optimal Radix Tree for Persistent Memory Storage Systems (FAST 2017)☆24Apr 1, 2021Updated 5 years ago
- ☆11Nov 13, 2020Updated 5 years ago