An efficient native function interface for Java. - Matthias Grimmer; Manuel Rigger; Lukas Stadler; Roland Schatz; Hanspeter Mössenböck (PPPJ, 2013)

TruffleC: dynamic execution of C on a Java virtual machine. - Matthias Grimmer; Manuel Rigger; Roland Schatz; Lukas Stadler; Hanspeter Mössenböck (PPPJ, 2014)

Sulong - execution of LLVM-based languages on the JVM: position paper. - Manuel Rigger; Matthias Grimmer; Hanspeter Mössenböck (ICOOOLPS@ECOOP, 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 (VMIL@SPLASH, 2016)

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 (ManLang, 2017)

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 Mössenböck (ASPLOS, 2018)

Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows. - Manuel Rigger; Daniel Pekarek; Hanspeter Mössenböck (NSS, 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 (VMIL@SPLASH, 2018)

Debugging native extensions of dynamic languages. - Jacob Kreindl; Manuel Rigger; Hanspeter Mössenböck (ManLang, 2018)

Fast-path loop unrolling of non-counted loops to enable subsequent compiler optimizations. - David Leopoldseder; Roland Schatz; Lukas Stadler; Manuel Rigger; Thomas Würthinger; Hanspeter Mössenböck (ManLang, 2018)

Sandboxed execution of C and other unsafe languages on the Java virtual machine. - Manuel Rigger (Programming, 2018)

Sulong, and thanks for all the fish. - Manuel Rigger; Roland Schatz; Jacob Kreindl; Christian Häubl; Hanspeter Mössenböck (Programming, 2018)

An Analysis of x86-64 Inline Assembly in C Programs. - Manuel Rigger; Stefan Marr; Stephen Kell; David Leopoldseder; Hanspeter Mössenböck (VEE, 2018)

Introspection for C and its Applications to Library Robustness. - Manuel Rigger; Rene Mayrhofer; Roland Schatz; Matthias Grimmer; Hanspeter Mössenböck (Art Sci. Eng. Program., 2018)

Memory-safe Execution of Low-level Languages on a Java Virtual Machine. - Manuel Rigger (Ausgezeichnete Informatikdissertationen, 2018)

Supporting on-stack replacement in unstructured languages by loop reconstruction and extraction. - Raphael Mosaner; David Leopoldseder; Manuel Rigger; Roland Schatz; Hanspeter Mössenböck (MPLR, 2019)

Understanding GCC builtins to develop better tools. - Manuel Rigger; Stefan Marr; Bram Adams; Hanspeter Mössenböck (ESEC/SIGSOFT FSE, 2019)

Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. - Maria Christakis; Manuel Rigger (Dagstuhl Artifacts Ser., 2019)

Testing Database Engines via Pivoted Query Synthesis. - Manuel Rigger; Zhendong Su 001 (OSDI, 2020)

Detecting optimization bugs in database engines via non-optimizing reference engine construction. - Manuel Rigger; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2020)

Front Matter, Table of Contents, Preface, Conference Organization. - Lisa Nguyen Quang Do; Manuel Rigger (Dagstuhl Artifacts Ser., 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 001; Torsten Hoefler (Proc. ACM Program. Lang., 2020)

Finding bugs in database systems via query partitioning. - Manuel Rigger; Zhendong Su 001 (Proc. ACM Program. Lang., 2020)

SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs. - Jiang Zhang; Shuai Wang 011; Manuel Rigger; Pinjia He; Zhendong Su 001 (OSDI, 2021)

Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442). - Alexander Böhm 002; Maria Christakis; Eric Lo 001; Manuel Rigger (Dagstuhl Reports, 2021)

Finding missed optimizations through the lens of dead code elimination. - Theodoros Theodoridis; Manuel Rigger; Zhendong Su 001 (ASPLOS, 2022)

Intramorphic Testing: A New Approach to the Test Oracle Problem. - Manuel Rigger; Zhendong Su 001 (Onward!, 2022)

Forest: Structural Code Editing with Multiple Cursors. - Philippe Voinov; Manuel Rigger; Zhendong Su 001 (Onward!, 2022)

DBTest '22: 9th International Workshop on Testing Database Systems. - Manuel Rigger; Pinar Tözün (SIGMOD Conference, 2022)

Forest: Structural Code Editing with Multiple Cursors. - Philippe Voinov; Manuel Rigger; Zhendong Su 001 (Zenodo, 2022)

Forest: Structural Code Editing with Multiple Cursors. - Philippe Voinov; Manuel Rigger; Zhendong Su 001 (Zenodo, 2022)

Report from Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Management Systems. - Manuel Rigger; Alexander Böhm 002; Maria Christakis; Eric Lo 001 (Datenbank-Spektrum, 2022)

Testing Database Engines via Query Plan Guidance. - Jinsheng Ba; Manuel Rigger (ICSE, 2023)

Testing Graph Database Engines via Query Partitioning. - Matteo Kamm; Manuel Rigger; Chengyu Zhang 001; Zhendong Su 001 (ISSTA, 2023)

Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. - Zu-Ming Jiang; Si Liu; Manuel Rigger; Zhendong Su 001 (OSDI, 2023)

Finding Performance Issues in Database Engines via Cardinality Estimation Testing. - Jinsheng Ba; Manuel Rigger (CoRR, 2023)

Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 23441). - Hannes Mühleisen; Danica Porobic; Manuel Rigger (Dagstuhl Reports, 2023)

Testing Graph Database Engines via Query Partitioning. - Matteo Kamm; Manuel Rigger; Chengyu Zhang 001; Zhendong Su 001 (Zenodo, 2023)

Validating Database System Isolation Level Implementations with Version Certificate Recovery. - Jack Clark; Alastair F. Donaldson; John Wickerson; Manuel Rigger (EuroSys, 2024)

CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation. - Jinsheng Ba; Manuel Rigger (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 (ICSE, 2024)

Finding XPath Bugs in XML Document Processors via Differential Testing. - Shuxin Li; Manuel Rigger (ICSE, 2024)

Detecting Build Dependency Errors in Incremental Builds. - Jun Lyu; Shanshan Li 002; He Zhang 001; Yang Zhang; Guoping Rong; Manuel Rigger (ISSTA, 2024)

Inconsistencies in TeX-Produced Documents. - Jovyn Tan; Manuel Rigger (ISSTA, 2024)

Tenth International Workshop on Testing Database Systems (DBTest). - Anja Gruenheid; Manuel Rigger (SIGMOD Conference Companion, 2024)

An Exploratory Case Study of Query Plan Representations. - Jinsheng Ba; Manuel Rigger (CoRR, 2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs. - Wenjing Deng; Qiuyang Mang; Chengyu Zhang 001; Manuel Rigger (CoRR, 2024)

Fuzzing the PHP Interpreter via Dataflow Fusion. - Yuancheng Jiang; Chuqi Zhang; Bonan Ruan; Jiahao Liu; Manuel Rigger; Roland H. C. Yap; Zhenkai Liang (CoRR, 2024)

Keep It Simple: Testing Databases via Differential Query Plans. - Jinsheng Ba; Manuel Rigger (Proc. ACM Manag. Data, 2024)

Finding Cross-Rule Optimization Bugs in Datalog Engines. - Chi Zhang 073; Linzhang Wang; Manuel Rigger (Proc. ACM Program. Lang., 2024)

Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations. - Jun Lyu; Shanshan Li 002; He Zhang 001; Lanxin Yang; Bohan Liu; Manuel Rigger (Proc. ACM Softw. Eng., 2024)

Automatically Testing Database Systems: DBMS testing with test oracles, transaction history, and fuzzing. - Peter Alvaro; Manuel Rigger (ACM Queue, 2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs. - Wenjing Deng; Qiuyang Mang; Chengyu Zhang 001; Manuel Rigger (Proc. ACM Manag. Data, 2024)

Understanding and Reusing Test Suites Across Database Systems. - Suyang Zhong; Manuel Rigger (Proc. ACM Manag. Data, 2024)

Towards a Unified Query Plan Representation. - Jinsheng Ba; Manuel Rigger (ICDE, 2025)

On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations. - Rajdeep Singh Hundal; Yan Xiao 002; Xiaochun Cao; Jin Song Dong 001; Manuel Rigger (ICSE, 2025)

Enhanced Differential Testing in Emerging Database Systems. - Yuancheng Jiang; Jianing Wang; Chuqi Zhang; Roland H. C. Yap; Zhenkai Liang; Manuel Rigger (CoRR, 2025)

GraphFuzz: Automated Testing of Graph Algorithm Implementations with Differential Fuzzing and Lightweight Feedback. - Wenqi Yan; Manuel Rigger; Anthony Wirth; Van-Thuan Pham (CoRR, 2025)

Constant Optimization Driven Database System Testing. - Chi Zhang 073; Manuel Rigger (Proc. ACM Manag. Data, 2025)

NeurBench: Benchmarking Learned Database Components with Data and Workload Drift Modeling. - Zhanhao Zhao; Haotian Gao; Naili Xing; Lingze Zeng; Meihui Zhang 001; Gang Chen 001; Manuel Rigger; Beng Chin Ooi (CoRR, 2025)

Scaling Automated Database System Testing. - Suyang Zhong; Manuel Rigger (CoRR, 2025)

On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations. - Rajdeep Singh Hundal; Yan Xiao 002; Xiaochun Cao; Jin Song Dong; Manuel Rigger (CoRR, 2025)

Testing Database Systems with Large Language Model Synthesized Fragments. - Suyang Zhong; Manuel Rigger (CoRR, 2025)

Finding Logic Bugs in Graph-processing Systems via Graph-cutting. - Qiuyang Mang; Jinsheng Ba; Pinjia He; Manuel Rigger (Proc. ACM Manag. Data, 2025)