gkastrinis / phd-thesisLinks
☆10Updated 5 years ago
Alternatives and similar repositories for phd-thesis
Users that are interested in phd-thesis are comparing it to the libraries listed below
Sorting:
- Spring 2018-2019☆10Updated 6 years ago
- PyTorch implementation of binary tree convolution☆49Updated 6 years ago
- Automated Testing Tool for Graph-processing Systems.☆12Updated 5 months ago
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆45Updated 5 months ago
- Automated testing for XML XPath execution☆17Updated 2 years ago
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆72Updated 5 years ago
- Datalog Engines OPtimization Tester.☆13Updated last year
- Competitive Hex board-game simulator. (Human vs AI)☆15Updated 6 years ago
- A learning-based method for high-fidelity database generation.☆16Updated 3 years ago
- A basic repository for a Clang-based tool, with CMake integration.☆10Updated 2 years ago
- blah☆35Updated 6 years ago
- AI for big data materials☆14Updated 9 months ago
- homepage for proFL☆23Updated 4 years ago
- An automated prover that verifies the equivalence of SQL queries☆59Updated last month
- ☆21Updated 7 years ago
- A fuzzing framework for finding transactional bugs in DBMSs☆54Updated 2 years ago
- Code and workloads from the Learned Cardinalities paper (https://arxiv.org/abs/1809.00677)☆126Updated 6 years ago
- learned cardinalities for databases☆16Updated 2 years ago
- This repository contains the dataset of our ISSTA 2018 paper: An Empirical Study on TensorFlow Program Bugs.☆29Updated 5 years ago
- ☆38Updated 2 years ago
- MiniJava to LLVM IR compiler☆15Updated 2 years ago
- DB-BERT tunes database systems for optimal performance, using tuning hints mined from text.☆61Updated 2 years ago
- The DSB benchmark is designed for evaluating both workloaddriven and traditional database systems on modern decision support workloads. D…☆72Updated last year
- Implementation of DeepDB: Learn from Data, not from Queries!☆104Updated 3 years ago
- A lightweight tool for detecting bugs on Graph Database Management Systems☆15Updated 2 years ago
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Updated 5 years ago
- To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.☆36Updated last year
- PostBOUND is a research framework to prototype and benchmark database query optimizers☆19Updated this week
- ☆19Updated last month
- TPC-H benchmark with skew factor enabled☆19Updated 8 months ago