SQLancer: From Research Prototype to Industry Use
This program is tentative and subject to change.
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.
This program is tentative and subject to change.
Sat 18 OctDisplayed time zone: Perth change
16:00 - 17:30 | |||
16:00 30mTalk | Live Program Analysis for Security-Critical Scenarios Sponsor Invited Talks Zhiqiang Zuo Nanjing University | ||
16:30 30mTalk | Automated Approaches for Software Migration and Evolution Sponsor Invited Talks Jiasi Shen The Hong Kong University of Science and Technology | ||
17:00 30mTalk | SQLancer: From Research Prototype to Industry Use Sponsor Invited Talks Manuel Rigger National University of Singapore |