Publications
Full Conference and Journal Papers
| SIGMOD 2025 |
Constant Optimization Driven Database System Testing Chi Zhang, Manuel Rigger Proc. ACM Manag. Data, Berlin, Germany |
| SIGMOD 2025 |
Understanding and Reusing Test Suites Across Database Systems Suyang Zhong, Manuel Rigger Proc. ACM Manag. Data, Berlin, Germany |
| 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, Berlin, Germany |
| 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] [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] |
| Onward! 2022 |
Forest: Structural Code Editing with Multiple Cursors Philippe Voinov, Manuel Rigger, Zhendong Su Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Auckland, New Zealand [PDF] [Artifact] [GitHub] [Forest Online Version] |
| Onward! 2022 |
Intramorphic Testing: A New Approach to the Test Oracle Problem Manuel Rigger, Zhendong Su Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Auckland, New Zealand [PDF] [Slides] [Artifact] |
| OSDI 2021 |
SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs Jiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, Zhendong Su 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21), virtual [PDF] [Artifact] [Page] [YouTube] [Slides] [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] |
| OOPSLA 2020 |
Fast Linear Programming through Transprecision Computing on Small and Sparse Data Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, Torsten Hoefler Proc. ACM Program. Lang. [PDF] [DOI] [YouTube] |
| ESEC/FSE 2020 |
Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction Manuel Rigger, Zhendong Su Proceedings of the 2020 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Sacramento, California, United States [PDF] [DOI] [YouTube (Full)] [Slides (Teaser)] [Slides (Full)] [Reddit] [Artifact] |
| ESEC/FSE 2019 |
Understanding GCC Builtins to Develop Better Tools Manuel Rigger, Stefan Marr, Bram Adams, Hanspeter Mössenböck Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Tallinn, Estonia [PDF] [DOI] [Slides] [ACM authorizer link] [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] |
| Programming 2018 |
Introspection for C and its Applications to Library Robustness Manuel Rigger, Roland Schatz, Rene Mayrhofer, Matthias Grimmer, Hanspeter Mössenböck The Art, Science, and Engineering of Programming [PDF] [Bibtex] [DOI] [Slides] |
| ManLang 2018 |
Fast-Path Loop Unrolling of Non-Counted Loops to Enable Subsequent Compiler Optimizations David Leopoldseder, Roland Schatz, Lukas Stadler, Manuel Rigger, Hanspeter Mössenböck Proceedings of the 15th International Conference on Managed Languages and Runtimes, Linz, Austria [PDF] [DOI] [ACM authorizer link] |
| NSS 2018 |
Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows Manuel Rigger, Daniel Pekarek, Hanspeter Mössenböck Proceedings of the 12th International Conference on Network and System Security, Hong Kong, China [PDF] [DOI] [Slides] |
| VEE 2018 |
An Analysis of x86-64 Inline Assembly in C Programs Manuel Rigger, Stefan Marr, Stephen Kell, David Leopoldseder, Hanspeter Mössenböck Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Williamsburg, VA, USA [PDF] [Bibtex] [DOI] [Slides] [ACM authorizer link] |
| ManLang 2017 |
Lenient Execution of C on a Java Virtual Machine: Or: How I Learned to Stop Worrying and Run the Code Manuel Rigger, Roland Schatz, Matthias Grimmer, Hanspeter Mössenböck Proceedings of the 14th International Conference on Managed Languages and Runtimes, Prague, Czech Republic [PDF] [Bibtex] [DOI] [Slides] [ACM authorizer link] |
| PPPJ 2014 |
TruffleC: Dynamic Execution of C on a Java Virtual Machine Matthias Grimmer, Manuel Rigger, Roland Schatz, Lukas Stadler, Hanspeter Mössenböck Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Cracow, Poland [Bibtex] [DOI] [ACM authorizer link] |
| PPPJ 2013 |
An Efficient Native Function Interface for Java Matthias Grimmer, Manuel Rigger, Lukas Stadler, Roland Schatz, Hanspeter Mössenböck Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Stuttgart, Germany [Bibtex] [DOI] [ACM authorizer link] |
Full Workshop Papers
| VMIL 2018 |
A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler David Leopoldseder, Lukas Stadler, Manuel Rigger, Thomas WĂŒrthinger, Hanspeter Mössenböck Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Boston, MA, USA [PDF] [DOI] [ACM authorizer link] |
| VMIL 2016 |
Bringing Low-level Languages to the JVM: Efficient Execution of LLVM IR on Truffle Manuel Rigger, Matthias Grimmer, Christian Wimmer, Thomas WĂŒrthinger, Hanspeter Mössenböck Proceedings of the 8th International Workshop on Virtual Machines and Intermediate Languages, Amsterdam, Netherlands [PDF] [Bibtex] [DOI] [Slides] [ACM authorizer link] |
Other Publications
| MPLR 2019 |
Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction (Tool Paper) Raphael Mosaner, David Leopoldseder, Manuel Rigger, Roland Schatz, Hanspeter Mössenböck Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Athens, Greece [DOI] [PDF] |
| ManLang 2018 |
Debugging Native Extensions of Dynamic Languages (Tool Paper) Jacob Kreindl, Manuel Rigger, Hanspeter Mössenböck Proceedings of the 15th International Conference on Managed Languages and Runtimes, Linz, Austria [PDF] [DOI] [ACM authorizer link] |
| MoreVMs 2018 |
Sulong, and Thanks for All the Fish (Extended Abstract) Manuel Rigger, Roland Schatz, Jacob Kreindl, Cristian HÀubl, Hanspeter Mössenböck Workshop on Modern Language Runtimes, Ecosystems, and VMs, Nice, France [PDF] [DOI] [Slides] |
| Programming SRC 2018 |
Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine (Extended Abstract) Manuel Rigger Student Research Competition at the Intl. Conf. on the Art, Science, and Engineering of Programmings, Nice, France [PDF] [DOI] [Slides] |
| ECOOP DS 2016 |
Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages Manuel Rigger ECOOP 2016 Doctoral Symposium, Rome, Italy [PDF] [Bibtex] |
| ICOOOLPS 2016 |
Sulong - Execution of LLVM-based Languages on the JVM (Position Paper) Manuel Rigger, Matthias Grimmer, Hanspeter Mössenböck Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, Rome, Italy [PDF] [Bibtex] [DOI] [Slides] [ACM authorizer link] |
Theses
| Xiada 2015 |
German Involvement in Xiamen After the First Opium War 1842-1917 Manuel Rigger Master's thesis, Xiamen University [PDF] |
| JKU 2014 |
Truffle/C Interpreter Manuel Rigger Master's thesis, Johannes Kepler University Linz [PDF] |