BOCA313 / BOCA
☆13Updated last year
Related projects ⓘ
Alternatives and complementary repositories for BOCA
- ☆14Updated 11 months ago
- ☆29Updated 2 years ago
- A Simple CDCL Solver☆26Updated last year
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆22Updated last year
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆24Updated 5 years ago
- NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops…☆91Updated last year
- Simple SAT solver with CDCL implemented in Python☆15Updated last year
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆83Updated last month
- ☆16Updated 2 years ago
- 📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)☆72Updated last year
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆20Updated last year
- Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.☆21Updated 4 years ago
- PyTorch implementation of NeuroSAT☆26Updated last year
- NLocalSAT; Boosting Local Search with Solution Prediction☆18Updated last year
- Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022☆21Updated last year
- ICCAD'23 Best Paper Award candidate: Robust GNN-based Representation Learning for HLS☆13Updated 5 months ago
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆27Updated 2 years ago
- ☆13Updated last year
- Implementation of the HYPE hypergraph partitioner.☆17Updated 4 years ago
- A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.☆45Updated last year
- LLTFI is a tool, which is an extension of LLFI, allowing users to run fault injection experiments on C/C++, TensorFlow and PyTorch applic…☆32Updated last month
- Automata Benchmark Suite☆19Updated last year
- ☆11Updated 5 months ago
- An Architecture-level Fault Injection Tool for GPU Application Resilience Evaluations☆16Updated 4 years ago
- ☆47Updated 7 months ago
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆16Updated last year
- COBAYN: Compiler Autotuning Framework Using Bayesian Networks☆20Updated 2 years ago
- AutoCAT: Reinforcement Learning for Automated Exploration of Cache-Timing Attacks☆43Updated last year
- A portable framework to map DFG (dataflow graph, representing an application) on spatial accelerators.☆36Updated 2 years ago
- ☆35Updated 2 years ago