Manuel Rigger
School of Computing
National University of Singapore
COM2-3-29, 13 Computing Drive
Singapore 117417
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. His research focuses on improving data-centric systems, in particular aspects related to their reliability. As part of this effort, he and his lab have found more than 1,000 unique, previously unknown bugs, most of which have been fixed by the developers of these systems. He and his students’ work received best paper awards at ICSE ‘23 and EuroSys ‘24, as well as distinguished artifact awards at ASPLOS ‘22, OSDI ‘20, and OOPSLA ‘20. 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, where he worked on the safe and efficient execution of unsafe languages (project Sulong). Part of his work was integrated into Oracle’s GraalVM to support the execution of LLVM IR on this platform.
Contact: rigger@nus.edu.sg
Bug links: [NUS TEST lab] [Database Systems]
News (all)
Nov 3, 2024 | Our paper “Constant Optimization Driven Database System Testing” was accepted at SIGMOD 2025. |
Sep 30, 2024 | I visited Thomas Neumann and his group at the Technical University of Munich today and gave a talk on “Robustifying Database Systems at Scale”. |
Aug 1, 2024 | Our papers “Reusing Test Suites Across Database Systems” and “Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs” were accepted at SIGMOD 2025. |
Jul 11, 2024 | I was invited to serve on the OOPSLA 2025 PC. |
Jul 3, 2024 | Our paper “Inconsistencies in TeX-produced Documents” was accepted at ISSTA 2024. |
Links
Selected Publications (all)
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] |
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 2023 |
Testing Database Engines via Query Plan Guidance Jinsheng Ba, Manuel Rigger Proceedings of the 45th International Conference on Software Engineering, Melbourne, Australia [PDF] [GitHub] [Artifact] [NUS News] |
ASPLOS 2022 |
Finding Missed Optimizations through the Lens of Dead Code Elimination Theodoros Theodoridis, Manuel Rigger, Zhendong Su Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland [PDF] [DOI] [YouTube] [Artifact] [GitHub] |
OSDI 2020 |
Testing Database Engines via Pivoted Query Synthesis Manuel Rigger, Zhendong Su 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20), Banff, Alberta, Canada [PDF] [Artifact] [Page] [Slides (long)] [Slides (short)] |
OOPSLA 2020 |
Finding Bugs in Database Systems via Query Partitioning Manuel Rigger, Zhendong Su Proc. ACM Program. Lang. [PDF] [DOI] [Slides] [YouTube] [Artifact] |
ASPLOS 2018 |
Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model Manuel Rigger, Roland Schatz, Rene Mayrhofer, Matthias Grimmer, Hanspeter Mössenböck Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, Williamsburg, VA, USA [PDF] [Bibtex] [DOI] [Slides] [ACM authorizer link] |