Program locality analysis tools
☆18Aug 9, 2019Updated 6 years ago
Alternatives and similar repositories for loca
Users that are interested in loca are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A fast and accurate reuse distance analyzer for multi-threaded applications. It leverages existing hardware features in commodity CPUs.☆21Feb 3, 2023Updated 3 years ago
- Multiple approaches to statistical simulation for computer architects☆14Jun 1, 2020Updated 5 years ago
- fork of file_parda from bitbucket☆11Jun 27, 2015Updated 10 years ago
- A memory-centric profiling tool suite for heterogeneous memory☆11Nov 13, 2024Updated last year
- ☆15Apr 3, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- ARM disassembler library☆20Aug 11, 2013Updated 12 years ago
- Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…☆32Jul 6, 2018Updated 7 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆33Sep 11, 2019Updated 6 years ago
- Massively Scalable Clustering☆23Mar 14, 2019Updated 7 years ago
- This is the source code for our (Tobias Ziegler, Jacob Nelson-Slivon, Carsten Binnig and Viktor Leis) published paper at SIGMOD’23: Desig…☆29Sep 24, 2024Updated last year
- Various synchronization primitives for multithreaded applications in C++11.☆23May 11, 2016Updated 10 years ago
- The Splash-3 benchmark suite☆45Apr 24, 2023Updated 3 years ago
- Latest PASTE (NSDI'18) repository☆13May 2, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Go allocation trace utilities☆15Jan 8, 2021Updated 5 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- template for https://cnli.me☆10Feb 27, 2025Updated last year
- 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
- ☆12Aug 26, 2022Updated 3 years ago
- Characterizing and Modeling Non-Volatile Memory Systems [MICRO'20, TopPicks'21]☆32Jan 13, 2022Updated 4 years ago
- A fully reproducible nix flake for automatic1111/stable-diffusion-webui with CUDA support.☆13Apr 13, 2023Updated 3 years ago
- The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmer…☆54Dec 2, 2025Updated 5 months ago
- ☆13Jun 12, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 2023/12/22 电三 420 每周会议技术分享：「容器」的 slides 和附件☆10Dec 22, 2023Updated 2 years ago
- Chapter 3 of Parallel and High Performance Computing book☆10Apr 25, 2022Updated 4 years ago
- Automatically exported from code.google.com/p/llvm-qemu☆11Apr 29, 2015Updated 11 years ago
- Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)☆15Mar 18, 2025Updated last year
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 5 years ago
- Collection of my hand-made mods for Balatro.☆16May 16, 2025Updated last year
- ☆12Apr 23, 2026Updated 3 weeks ago
- Python library (C++ backend) for degree-preserving network randomization☆14Oct 14, 2019Updated 6 years ago
- ☆11Nov 13, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The EM Algorithm for Gaussian Mixtures （高斯混合模型的EM算法实现）☆12Dec 30, 2018Updated 7 years ago
- A speicifically designed KV store for blockchain systems☆12Mar 10, 2025Updated last year
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Dec 7, 2021Updated 4 years ago
- sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …☆16Mar 5, 2021Updated 5 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
- 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
- a flexible heightmap generator☆31Nov 4, 2024Updated last year