SQLancer is a tool that automatically finds bugs in database systems, particularly correctness issues that can cause queries to return wrong results. Over the years, it has uncovered more than 1,000 bugs in widely used systems and has been adopted by companies to strengthen the reliability of their products. SQLancer’s effectiveness builds on a combination of complementary test-generation and test oracle techniques developed through our research. This talk will present the core ideas behind SQLancer and how it has improved the reliability of database systems. In addition, this talk will reflect on the opportunities and challenges of developing and maintaining tools in academia.

Manuel Rigger is an Assistant Professor leading the TEST Lab, which is part of the PL/SE group at the School of Computing, National University of Singapore. Prior to joining NUS, Manuel was a postdoc at the Advanced Software Technologies Lab at ETH Zurich, mentored by Zhendong Su. He completed his PhD at Johannes Kepler University Linz, mentored by Hanspeter Mössenböck.