Race detector for NVIDIA GPUs, published in SOSP 2021.
☆19Feb 22, 2025Updated last year
Alternatives and similar repositories for iGUARD-SOSP21
Users that are interested in iGUARD-SOSP21 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CUDAAdvisor: a GPU profiling tool☆53Aug 24, 2018Updated 8 years ago
- configuration evolution dataset☆18Feb 25, 2021Updated 5 years ago
- Directed fuzzing framework for gVisor.☆27Oct 26, 2023Updated 3 years ago
- ☆36Jun 10, 2024Updated 2 years ago
- persistent kernel sample implementation of iterative stencil solver and conjugate gradient solver☆14May 24, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆13Oct 25, 2022Updated 4 years ago
- SIMD-X: Programming and Processing of Graph Algorithms on GPUs [USENIX ATC '19]☆23Jun 14, 2020Updated 6 years ago
- ☆14Apr 24, 2024Updated 2 years ago
- CUDA Dynamic Memory Allocator for SOA Data Layout☆40Dec 29, 2021Updated 4 years ago
- Multi-GPU dynamic scheduler using PGAS style cross-GPU communication☆29Jul 23, 2023Updated 3 years ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- gHyPart: GPU-friendly End-to-End Hypergraph Partitioner☆12Feb 6, 2025Updated last year
- Graspan-G is a GPU-based version of Graspan.☆10May 26, 2021Updated 5 years ago
- CUDA Fortran code to solve Lattice Boltzmann equations of a multi-component flow interacting with rigid spherical particles.☆10May 8, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆18Mar 28, 2017Updated 9 years ago
- Generate story ideas and text for children's books using GPT-3☆10Dec 26, 2022Updated 3 years ago
- pLiner is a framework that helps programmers identify locations in the source of numerical code that are highly affected by compiler opti…☆17Oct 27, 2023Updated 3 years ago
- A runtime-independent crate for transforming Wasm-DWARF☆12Mar 11, 2020Updated 6 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Apr 17, 2023Updated 3 years ago
- Oversubscription of GPU Memory through Transparent Swapping☆15Mar 27, 2015Updated 11 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆16Feb 26, 2025Updated last year
- ☆45Apr 3, 2022Updated 4 years ago
- A Sound and Complete Verification Tool for Warp-Specialized GPU Kernels☆21Jun 17, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆15Jun 21, 2019Updated 7 years ago
- ☆23Jun 21, 2023Updated 3 years ago
- Artifact of Chimera☆18May 6, 2025Updated last year
- ☆26Dec 4, 2020Updated 5 years ago
- BLEST: Blazingly Efficient BFS using Tensor Cores☆11Sep 6, 2026Updated 2 months ago
- ☆29Oct 22, 2020Updated 6 years ago
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking☆14Feb 9, 2026Updated 8 months ago
- An implementation of the persistent skiplist based on Intel Optane Persistent Memory. It is with Intel's pmemkv as an storage engine☆13Apr 9, 2021Updated 5 years ago
- Prototype of OpenSHMEM for NVIDIA GPUs, developed as part of DoE Design Forward☆24Apr 26, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming☆25Sep 24, 2026Updated last month
- ☆13Apr 8, 2019Updated 7 years ago
- Tutorials for NVIDIA CUPTI samples☆76Jul 22, 2026Updated 3 months ago
- Unicorn - An HPC Library for hybrid CPU-GPU clusters (TPDS 2016 paper)☆11Mar 12, 2018Updated 8 years ago
- Creative Coding: OpenFrameworks / "Algorithmic Vision" course @ Parsons MFA DT, Fall 2017☆17Dec 14, 2017Updated 8 years ago
- Bypassd is a novel I/O architecture that provides low latency access to shared SSDs.☆23May 14, 2025Updated last year
- ☆31Sep 9, 2017Updated 9 years ago