| 2026 | ASPLOS | Scaling Automated Database System Testing. | Suyang Zhong, Manuel Rigger |
| 2025 | ICDE | Towards a Unified Query Plan Representation. | Jinsheng Ba, Manuel Rigger |
| 2025 | ICSE | On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations. | Rajdeep Singh Hundal, Yan Xiao, Xiaochun Cao, Jin Song Dong, Manuel Rigger |
| 2024 | EuroSys | Validating Database System Isolation Level Implementations with Version Certificate Recovery. | Jack Clark, Alastair F. Donaldson, John Wickerson, Manuel Rigger |
| 2024 | ICSE | CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation. | Jinsheng Ba, Manuel Rigger |
| 2024 | ICSE | 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 |
| 2024 | ICSE | Finding XPath Bugs in XML Document Processors via Differential Testing. | Shuxin Li, Manuel Rigger |
| 2024 | ISSTA | Detecting Build Dependency Errors in Incremental Builds. | Jun Lyu, Shanshan Li, He Zhang, Yang Zhang, Guoping Rong, Manuel Rigger |
| 2024 | ISSTA | Inconsistencies in TeX-Produced Documents. | Jovyn Tan, Manuel Rigger |
| 2024 | SIGMOD | Tenth International Workshop on Testing Database Systems (DBTest). | Anja Gruenheid, Manuel Rigger |
| 2023 | ICSE | Testing Database Engines via Query Plan Guidance. | Jinsheng Ba, Manuel Rigger |
| 2023 | ISSTA | Testing Graph Database Engines via Query Partitioning. | Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su |
| 2023 | OSDI | Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. | Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su |
| 2022 | ASPLOS | Finding missed optimizations through the lens of dead code elimination. | Theodoros Theodoridis, Manuel Rigger, Zhendong Su |
| 2022 | Onward | Intramorphic Testing: A New Approach to the Test Oracle Problem. | Manuel Rigger, Zhendong Su |
| 2022 | Onward | Forest: Structural Code Editing with Multiple Cursors. | Philippe Voinov, Manuel Rigger, Zhendong Su |
| 2022 | SIGMOD | DBTest '22: 9th International Workshop on Testing Database Systems. | Manuel Rigger, Pinar Tzn |
| 2021 | OSDI | SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs. | Jiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, Zhendong Su |
| 2020 | OSDI | Testing Database Engines via Pivoted Query Synthesis. | Manuel Rigger, Zhendong Su |
| 2018 | ASPLOS | Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model. | Manuel Rigger, Roland Schatz, Ren Mayrhofer, Matthias Grimmer, Hanspeter Mssenbck |
| 2018 | NSS | Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows. | Manuel Rigger, Daniel Pekarek, Hanspeter Mssenbck |
| 2018 | OOPSLA | A cost model for a graph-based intermediate-representation in a dynamic compiler. | David Leopoldseder, Lukas Stadler, Manuel Rigger, Thomas Wrthinger, Hanspeter Mssenbck |
| 2018 | VEE | An Analysis of x86-64 Inline Assembly in C Programs. | Manuel Rigger, Stefan Marr, Stephen Kell, David Leopoldseder, Hanspeter Mssenbck |
| 2016 | ECOOP | Sulong - execution of LLVM-based languages on the JVM: position paper. | Manuel Rigger, Matthias Grimmer, Hanspeter Mssenbck |
| 2016 | OOPSLA | Bringing low-level languages to the JVM: efficient execution of LLVM IR on Truffle. | Manuel Rigger, Matthias Grimmer, Christian Wimmer, Thomas Wrthinger, Hanspeter Mssenbck |