Repositories list

• llvm-project

  Public
  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

  Other

  •13k•2•24•0•Updated Jan 24, 2025Jan 24, 2025

• focs-lab.github.io

  Public
  HTML

  •

  MIT License

  •0•0•0•0•Updated Jan 14, 2025Jan 14, 2025

• tsan-experiments

  Public
  Benchmarks and script for TSan and improved TSan performance evaluation

  Makefile

  •0•0•7•0•Updated Jan 13, 2025Jan 13, 2025

• constraint-race-detection

  Public
  C++

  •0•0•0•0•Updated Jan 2, 2025Jan 2, 2025

• enumerate-race-detection

  Public
  C++

  •0•0•0•0•Updated Oct 24, 2024Oct 24, 2024

• rapid

  Public
  Dynamic Analysis for Concurrent Programs

  concurrent-programmingprogram-analysisthread+ 2dynamic-analysis-enginesrace-detection-engines

  Java

  •

  MIT License

  •9•22•0•0•Updated Oct 6, 2024Oct 6, 2024

• v8-data-races

  Public
  Bug reports of data races previously found in V8

  Python

  •0•0•0•0•Updated Aug 20, 2024Aug 20, 2024

• benchbase-experiments

  Public
  Python

  •0•0•0•0•Updated Jun 28, 2024Jun 28, 2024

• benchbase

  Public
  Multi-DBMS SQL Benchmarking Framework via JDBC

  Java

  •

  Other

  •188•0•0•0•Updated Jun 26, 2024Jun 26, 2024

• rapid-nscc-scripts

  Public
  Python

  •0•0•0•0•Updated May 17, 2024May 17, 2024

• tsan-benchmarks

  Public
  Python

  •0•0•0•0•Updated May 17, 2024May 17, 2024

• c11concurrency-benchmarks

  Public
  Mirror of http://plrg.eecs.uci.edu/git/?p=c11concurrency-benchmarks.git because their server is quite slow

  JavaScript

  •0•0•0•0•Updated Apr 8, 2024Apr 8, 2024