Pinolo - Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis

Offered By: USENIX via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore a conference talk from USENIX ATC '23 that introduces Pinolo, an innovative approach for detecting logical bugs in Database Management Systems (DBMSs). Learn how this novel method synthesizes queries to create over-approximations or under-approximations of seed queries, enabling the detection of deeply-hidden logical bugs that traditional approaches might miss. Discover how Pinolo has successfully identified 41 unique logical bugs in popular DBMSs like MySQL, MariaDB, TiDB, and OceanBase, with 39 confirmed by developers. Gain insights into the challenges of ensuring DBMS correctness and the importance of addressing logical bugs that can lead to incorrect result sets without apparent manifestations.

Syllabus

USENIX ATC '23 - Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate...

Taught by

USENIX

Related Courses

Amazon DynamoDB - A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service
USENIX via YouTube Faasm - Lightweight Isolation for Efficient Stateful Serverless Computing
USENIX via YouTube AC-Key - Adaptive Caching for LSM-based Key-Value Stores
USENIX via YouTube The Future of the Past - Challenges in Archival Storage
USENIX via YouTube A Decentralized Blockchain with High Throughput and Fast Confirmation
USENIX via YouTube