35% Off Finance Skills That Get You Hired - Code CFI35
AI Product Expert Certification - Master Generative AI Skills
Overview
Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a groundbreaking approach to finding logic bugs in Database Management Systems (DBMSs) through this 20-minute conference talk from OSDI '20. Discover the innovative Pivoted Query Synthesis technique developed by Manuel Rigger and Zhendong Su from ETH Zurich. Learn how this method automatically generates queries to fetch a specific, randomly selected pivot row, enabling the detection of incorrect result sets in DBMSs. Gain insights into the effectiveness of this approach, which uncovered 121 unique bugs in widely-used DBMSs like SQLite, MySQL, and PostgreSQL. Understand the potential impact of this simple yet powerful technique on improving the robustness of various database engines.
Syllabus
OSDI '20 - Testing Database Engines via Pivoted Query Synthesis
Taught by
USENIX