Stars
A controlled concurrency testing framework for the JVM
An application for extracting information from digital representations of collection labels from natural history collections.
WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
OGHarn: Oracle-guided Fuzzing Harness Generation
Data for paper "Dr.Spider: A Diagnostic Evaluation Benchmark towards Text-to-SQL Robustness"
The Pytorch implementation of RESDSQL (AAAI 2023).
A suite of automation scripts that streamline the sqlancer testing process.
An incremental parsing system for programming tools
Automated Testing Tool for Graph-processing Systems.
Benchmark framework for running text-to-sql
Push-Button End-to-End Testing of Kubernetes Operators and Controllers
This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowcat: Efficient Kernel Concurrency Testing using a Lea…
A verifier for automated and interactive proofs about transition systems.
Benchmark for Sampling Applied Learned Indexes (SIGMOD '24)
Framework and Language for Neurosymbolic Programming.
Online demo without installing at - https://buildit.so/tryit
The DSB benchmark is designed for evaluating both workloaddriven and traditional database systems on modern decision support workloads. DSB is adapted from the widely-used industrialstandard TPC-DS…
To enhance the differential testing on DBMS via SQL query mappings
A Dataflow-Driven and Automated Fuzzer for the PHP Interpreter