AddressSanitizer, ThreadSanitizer, MemorySanitizer

Small portable regex in C

Semantics of C in K

CUBRID is a comprehensive open source relational database management system highly optimized for Web Applications.

AI-powered Autonomous Data System

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…

SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)

Coveraged-based fuzzer for finding DBMS logical bugs

UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)

The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.