Build the Finance Skills That Lead to Promotions — Not Just Certificates
The Fastest Way to Become a Backend Developer Online
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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