ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore

This program is tentative and subject to change.

Sat 18 Oct 2025 17:00 - 17:30 at Peony NE - Program Analysis & Testing Chair(s): Hongyu Liu

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 Oct

Displayed time zone: Perth change

16:00 - 17:30
Program Analysis & TestingSponsor Invited Talks at Peony NE
Chair(s): Hongyu Liu Huawei China
16:00
30m
Talk
Live Program Analysis for Security-Critical Scenarios
Sponsor Invited Talks
Zhiqiang Zuo Nanjing University
16:30
30m
Talk
Automated Approaches for Software Migration and Evolution
Sponsor Invited Talks
Jiasi Shen The Hong Kong University of Science and Technology
17:00
30m
Talk
SQLancer: From Research Prototype to Industry Use
Sponsor Invited Talks
Manuel Rigger National University of Singapore