Publications
Full Conference and Journal Papers
| ASPLOS 2026 |
Scaling Automated Database System Testing Suyang Zhong, Manuel Rigger Proceedings of the 31th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Pittsburgh, USA |
| FSE 2026 |
ACME: Automated Clause Mapping Engine for Differential Testing of Emerging Database Systems Yuancheng Jiang, Chuqi Zhang, Jianing Wang, Roland Yap, Zhenkai Liang, Manuel Rigger Proceedings of the ACM International Conference on the Foundations of Software Engineering (FSE 2026), Montreal, Canada |
| ICSE 2026 |
Automatic Dockerfile Generation with Large Language Models Jun Lyu, Yusong Yuan, He Zhang, Lanxin Yang, Yue Li, Manuel Rigger 2026 IEEE/ACM 48th International Conference on Software Engineering (ICSE), Rio de Janeiro, Brazil |
| ASE 2025 |
Automatic Fixing of Missing Dependency Errors Jun Lyu, Shanshan Li, Jun Lan, He Zhang, Manuel Rigger Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, Seoul, South Korea |
| OOPSLA 2025 |
Flexible and Expressive Typed Path Patterns for GQL Wenjia Ye, Matías Toro, Tomás Díaz, Bruno C. d. S. Oliveira, Manuel Rigger, Claudio Gutierrez, Domagoj Vrgoč Proc. ACM Program. Lang. |
| ICDE 2025 |
Towards a Unified Query Plan Representation Jinsheng Ba, Manuel Rigger 2025 IEEE 41st International Conference on Data Engineering (ICDE), Hong Kong, China [DOI] [PDF] [Website] [Zenodo] |
| SEC 2025 |
Automated Detection of Memory Errors in the PHP Interpreter via Dataflow Fusion Yuancheng Jiang, Chuqi Zhang, Bonan Ruan, Jiahao Liu, Manuel Rigger, Roland Yap, Zhenkai Liang 34th USENIX Security Symposium (USENIX Security 25), Seattle, WA, USA [PDF] [GitHub (PHP Repository)] [Zenodo] |
| ICSE 2025 |
On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations Rajdeep Singh Hundal, Yan Xiao, Xiaochun Cao, Jin Song Dong, Manuel Rigger 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), Ottawa, Ontario, Canada [DOI] [PDF] [Zenodo] |
| SIGMOD 2025 |
Finding Logic Bugs in Graph-processing Systems via Graph-cutting Qiuyang Mang, Jinsheng Ba, Pinjia He, Manuel Rigger Proc. ACM Manag. Data, Berlin, Germany [DOI] [GitHub] |
| SIGMOD 2025 |
Constant Optimization Driven Database System Testing Chi Zhang, Manuel Rigger Proc. ACM Manag. Data [DOI] [PDF] [GitHub] |
| SIGMOD 2025 |
Understanding and Reusing Test Suites Across Database Systems Suyang Zhong, Manuel Rigger Proc. ACM Manag. Data [DOI] [PDF] [GitHub] [Zenodo] |
| SIGMOD 2025 |
Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs Wenjing Deng, Qiuyang Mang, Chengyu Zhang, Manuel Rigger Proc. ACM Manag. Data [DOI] [PDF] [Zenodo] [GitHub] |
| ISSTA 2024 |
Inconsistencies in TeX-produced Documents Jovyn Tan, Manuel Rigger Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Vienna, Austria [DOI] [PDF] [Zenodo] |
| FSE 2024 |
Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations Jun Lyu, Shanshan Li, He Zhang, Lanxin Yang, Bohan Liu, Manuel Rigger Proc. ACM Softw. Eng. [DOI] |
| SIGMOD 2024 |
Keep It Simple: Testing Databases via Differential Query Plans Jinsheng Ba, Manuel Rigger Proc. ACM Manag. Data, Santiago, Chile [DOI] [PDF] [GitHub] [YouTube] [Poster] [Slides] |
| ISSTA 2024 |
Detecting Build Dependency Errors in Incremental Builds Jun Lyu, Shanshan Li, He Zhang, Yang Zhang, Guoping Rong, Manuel Rigger Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Vienna, Austria [PDF] [DOI] |
| EuroSys 2024 |
Validating Database System Isolation Level Implementations with Version Certificate Recovery Jack Clark, Alastair Donaldson, John Wickerson, Manuel Rigger Proceedings of the Nineteenth European Conference on Computer Systems, Athens, Greece [DOI] |
| OOPSLA 2024 |
Finding Cross-rule Optimization Bugs in Datalog Engines Chi Zhang, Linzhang Wang, Manuel Rigger Proc. ACM Program. Lang. [PDF] [DOI] [GitHub] |
| ICSE 2024 |
Finding XPath Bugs in XML Document Processors via Differential Testing Shuxin Li, Manuel Rigger Proceedings of the 46th International Conference on Software Engineering, Lisbon, Portugal [PDF] [DOI] [Artifact] [GitHub] |
| ICSE 2024 |
CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation Jinsheng Ba, Manuel Rigger Proceedings of the 46th International Conference on Software Engineering, Lisbon, Portugal [PDF] [DOI] [GitHub] [Artifact] |
| ICSE 2024 |
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation Yuancheng Jiang, Jiahao Liu, Jinsheng Ba, Roland H.C. Yap, Zhenkai Liang, Manuel Rigger Proceedings of the 46th International Conference on Software Engineering, Lisbon, Portugal [PDF] [DOI] [GitHub] [Zenodo] |
| OSDI 2023 |
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23), Boston, MA, USA [PDF] [Page] [GitHub] [YouTube] |
| ISSTA 2023 |
Testing Graph Database Engines via Query Partitioning Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seattle, United States [DOI] |