LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs
☆21Oct 5, 2022Updated 3 years ago
Alternatives and similar repositories for LLOV
Users that are interested in LLOV are comparing it to the libraries listed below
Sorting:
- data race detection☆14Jun 18, 2016Updated 9 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆33Dec 16, 2021Updated 4 years ago
- Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.☆75Sep 19, 2023Updated 2 years ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Oct 19, 2025Updated 4 months ago
- OpenCL extension for csmith.☆27Nov 27, 2025Updated 3 months ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Feb 18, 2020Updated 6 years ago
- Codebase for fine-tuning Llama2 70B to generate math test questions and answers.☆11Aug 30, 2024Updated last year
- Abstractions of memory, allocator, vector, tuple, shared_ptr, unique_ptr, bitset, variant and string working on both CPU and GPU☆31Aug 10, 2025Updated 6 months ago
- Concurrency library☆17Oct 13, 2024Updated last year
- Repo for paper "CODIS: Benchmarking Context-Dependent Visual Comprehension for Multimodal Large Language Models".☆12Oct 14, 2024Updated last year
- ☆11Dec 23, 2024Updated last year
- Python Inference Script(PyIS)☆19Aug 30, 2022Updated 3 years ago
- ☆10Apr 7, 2024Updated last year
- Original VinVL visual backbone with simplified APIs to easily extract features, boxes, object detections, in a few lines of Python code.☆11Nov 27, 2022Updated 3 years ago
- Material parsers and other tools, scripts Initially developed for Grobid Superconductor☆13Feb 21, 2025Updated last year
- CANdle - a library for using USB-FDCAN dongle and communicating with md80 drives☆15Sep 15, 2025Updated 5 months ago
- This place provide different SRAM cells netlist to be simulated with HSpice tool in sub-20nm FinFET technologies.☆12Dec 31, 2020Updated 5 years ago
- Code for paper: Localized matrix factorization for recommendation based on matrix block diagonal forms☆10Jan 27, 2015Updated 11 years ago
- Sparse Matrix Factorization (SMF) is a key component in many machine learning problems and there exist a verity a applications in real-w…☆11Jan 25, 2016Updated 10 years ago
- Models for packages and the resources they contain.☆14Mar 10, 2024Updated last year
- [AAAI2024] An official pytorch implement of the paper: Vision-Language Pre-training with Object Contrastive Learning for 3D Scene Underst…☆13Dec 8, 2024Updated last year
- ☆32Aug 13, 2025Updated 6 months ago
- An active inference model of Lacanian psychoanalysis☆15Jun 7, 2025Updated 8 months ago
- Develop C++/CUDA extensions with PyTorch like Python scripts☆10Jan 7, 2026Updated last month
- A simple tutorial about how to use the CIL compiler frontend☆12Feb 10, 2025Updated last year
- Interactive, GPU accelerated computation graphs☆12Nov 21, 2024Updated last year
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- SketchINR: A First Look into Sketches as Implicit Neural Representations [CVPR 2024]☆12Aug 19, 2024Updated last year
- ☆11Jan 19, 2025Updated last year
- 测试，示例☆11Jan 4, 2017Updated 9 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- Simple Android demo demonstrating transferring APDUs over BLE interface☆10Aug 14, 2019Updated 6 years ago
- ☆14Dec 25, 2024Updated last year
- c++ version of ViT☆12Nov 13, 2022Updated 3 years ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 5 years ago
- ☆10Mar 31, 2016Updated 9 years ago
- ☆11Apr 6, 2024Updated last year
- f-PO: Generalizing Preference Optimization with f-divergence Minimization☆13Apr 2, 2025Updated 11 months ago
- ☆16Dec 8, 2024Updated last year