coding examples from CS170 operating systems lectures
☆10Oct 22, 2026Updated last week
Alternatives and similar repositories for cs170-lecture-examples
Users that are interested in cs170-lecture-examples are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SOSP'21 Witcher Artifact☆10Aug 19, 2021Updated 5 years ago
- KLEE Symbolic Execution Engine☆10Jan 31, 2026Updated 9 months ago
- template for https://cnli.me☆10Feb 27, 2025Updated last year
- Chapter 3 of Parallel and High Performance Computing book☆10Apr 25, 2022Updated 4 years ago
- ☆11Aug 5, 2020Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- Personal website template based on the Hugo Academic theme☆11May 28, 2021Updated 5 years ago
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- Latest PASTE (NSDI'18) repository☆13May 2, 2022Updated 4 years ago
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Dec 7, 2021Updated 4 years ago
- ☆12Oct 21, 2020Updated 6 years ago
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 6 years ago
- ☆10Feb 16, 2023Updated 3 years ago
- The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.☆12Apr 25, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆11Apr 12, 2021Updated 5 years ago
- Hailstorm: Disaggregated Compute and Storage for Distributed LSM-based Databases☆12Feb 25, 2021Updated 5 years ago
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆10May 10, 2017Updated 9 years ago
- Code for high-dimensional volume computation, Gaussian integration, and uniform/Gaussian sampling☆10Jun 18, 2022Updated 4 years ago
- Parallel implementations of Bellman-Ford algorithm with MPI, OpenMP and CUDA.☆11Sep 25, 2018Updated 8 years ago
- DGAP: Efficient Dynamic Graph Analysis on Persistent Memory [SC'23]☆10Jun 27, 2023Updated 3 years ago
- Source code for XPGraph-MICRO22☆11Apr 10, 2023Updated 3 years ago
- A CUDA-based multi-GPU vertex-centric graph processing framework based on Warp Segmentation and Vertex Refinement techniques.☆12Mar 20, 2017Updated 9 years ago
- ☆13Aug 28, 2026Updated 2 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆11Sep 15, 2024Updated 2 years ago
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆18Jul 14, 2022Updated 4 years ago
- AnyBlob - A Universal Cloud Object Storage Download Manager Built For Cost-Throughput Optimal Analytics!☆23Sep 16, 2026Updated last month
- Tool using automatic template inference to find network misconfigurations☆13Jul 15, 2020Updated 6 years ago
- STREAMer: Benchmarking remote volatile and non-volatile memory bandwidth☆18Aug 21, 2023Updated 3 years ago
- ACM SoCC 2019, "Coupling Decentralized Key-Value Stores with Erasure Coding"☆15May 22, 2021Updated 5 years ago
- The EM Algorithm for Gaussian Mixtures （高斯混合模型的EM算法实现）☆12Dec 30, 2018Updated 7 years ago
- Source code of paper "Probabilistic Profiling of Stateful Data Planes for Adversarial Testing"☆12Apr 19, 2021Updated 5 years ago
- Software and Hardware Characterization of Streaming Graph Analytics Workloads☆14Aug 15, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- MPIWasm is a WebAssembly Embedder based on Wasmer that enables the high-performance execution of MPI applications compiled to Wasm. (ACM …☆20Jan 30, 2024Updated 2 years ago
- Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)☆17Mar 18, 2025Updated last year
- ☆11Jun 14, 2024Updated 2 years ago
- Spark* Shuffle plugin for support shuffling through remote persistent memory over fabrics, which leverages the RDMA network and remote pe…☆14Sep 18, 2023Updated 3 years ago
- A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes☆23Sep 6, 2026Updated last month
- Some paper lists related to storage system☆15Sep 8, 2021Updated 5 years ago
- ☆14Dec 4, 2023Updated 2 years ago