Find more information about Manuel at https://www.manuelrigger.at/.
Publications
Suyang Zhong,
Manuel Rigger
(2026).
Automated Database Testing via LLM-Synthesized SQL Features.
In SIGMOD 2027.
Zhanhao Zhao,
Haotian Gao,
Naili Xing,
Lingze Zeng,
Meihui Zhang,
Gang Chen,
Manuel Rigger,
Beng Chin Ooi
(2026).
NRBench: A Benchmark Suite for Learned Database Components with Drift Modeling.
In SIGMOD 2026.
Junwen An,
Kabilan Mahathevan,
Manuel Rigger
(2026).
Dialect-Agnostic SQL Parsing via LLM-Based Segmentation.
In SIGMOD 2026.
Zhaokun Xiang,
Suyang Zhong,
Manuel Rigger
(2026).
Detecting Join Bugs in Database Engines via Join Implication Reasoning.
In SIGMOD 2026.
Jack Clark,
Manuel Rigger,
John Wickerson,
Alastair Donaldson
(2026).
Bringing Order to Practical Validation of Database Isolation Levels.
In TOCS.
Yuancheng Jiang,
Jianing Wang,
Chuqi Zhang,
Roland Yap,
Zhenkai Liang,
Manuel Rigger
(2025).
ACME: Automated Clause Mapping Engine for Testing Emerging Database Systems.
In FSE 2026.
Suyang Zhong,
Manuel Rigger
(2025).
Scaling Automated Database System Testing.
In ASPLOS 2026.
Qiuyang Mang,
Jinsheng Ba,
Pinjia He,
Manuel Rigger
(2025).
Finding Logic Bugs in Graph-processing Systems via Graph-cutting.
In SIGMOD 2025.
Rajdeep Singh Hundal,
Yan Xiao,
Xiaochun Cao,
Jin Song Dong,
Manuel Rigger
(2025).
On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations.
In ICSE 2025.
Jinsheng Ba,
Manuel Rigger
(2025).
Towards a Unified Query Plan Representation.
In ICDE 2025.
Yuancheng Jiang,
Chuqi Zhang,
Bonan Ruan,
Jiahao Liu,
Manuel Rigger,
Roland Yap,
Zhenkai Liang
(2025).
Fuzzing the PHP Interpreter via Dataflow Fusion.
In SEC 2025.
Wenjing Deng,
Qiuyang Mang,
Chengyu Zhang,
Manuel Rigger
(2024).
Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs.
In SIGMOD 2025.
Chi Zhang,
Manuel Rigger
(2024).
Constant Optimization Driven Database System Testing.
In SIGMOD 2025.
Suyang Zhong,
Manuel Rigger
(2024).
Understanding and Reusing Test Suites Across Database Systems.
In SIGMOD 2025.
Jun Lyu,
Shanshan Li,
He Zhang,
Lanxin Yang,
Bohan Liu,
Manuel Rigger
(2024).
Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations.
In FSE 2024.
Jinsheng Ba,
Manuel Rigger
(2024).
Keep It Simple: Testing Databases via Differential Query Plans.
In SIGMOD 2024.
Jun Lyu,
Shanshan Li,
He Zhang,
Yang Zhang,
Guoping Rong,
Manuel Rigger
(2024).
Detecting Build Dependency Errors in Incremental Builds.
In ISSTA 2024.
Jack Clark,
Alastair Donaldson,
John Wickerson,
Manuel Rigger
(2024).
Validating Database System Isolation Level Implementations with Version Certificate Recovery.
In EuroSys 2024.
Chi Zhang,
Linzhang Wang,
Manuel Rigger
(2023).
Finding Cross-rule Optimization Bugs in Datalog Engines.
In OOPSLA 2024.
Shuxin Li,
Manuel Rigger
(2023).
Finding XPath Bugs in XML Document Processors via Differential Testing.
In ICSE 2024.
Jinsheng Ba,
Manuel Rigger
(2023).
CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation.
In ICSE 2024.
Yuancheng Jiang,
Jiahao Liu,
Jinsheng Ba,
Roland H.C. Yap,
Zhenkai Liang,
Manuel Rigger
(2023).
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation.
In ICSE 2024.
Matteo Kamm,
Manuel Rigger,
Chengyu Zhang,
Zhendong Su
(2022).
Testing Graph Database Engines via Query Partitioning.
In ISSTA 2023.
Jinsheng Ba,
Manuel Rigger
(2022).
Testing Database Engines via Query Plan Guidance.
In ICSE 2023.
Manuel Rigger,
Zhendong Su
(2022).
Intramorphic Testing: A New Approach to the Test Oracle Problem.
In Onward! 2022.
Philippe Voinov,
Manuel Rigger,
Zhendong Su
(2022).
Forest: Structural Code Editing with Multiple Cursors.
In Onward! 2022.