Manuel Rigger

85 papers A* 13A 4B 2C 1Journal 45Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
Dialect-Agnostic SQL Parsing via LLM-Based Segmentation.
CoRR
Junwen An, Kabilan Mahathevan, Manuel Rigger
2026 — conf
Scaling Automated Database System Testing.
ASPLOS (2)
Suyang Zhong, Manuel Rigger
2025 A* conf
Automatic Fixing of Missing Dependency Errors.
ASE
Jun Lyu, He Zhang, Lanxin Yang, Yue Li, Chenxing Zhong, Manuel Rigger
2025 J jnl
Constant Optimization Driven Database System Testing.
CoRR
Chi Zhang, Manuel Rigger
2025 J jnl
Constant Optimization Driven Database System Testing.
Proc. ACM Manag. Data
Chi Zhang, Manuel Rigger
2025 J jnl
Enhanced Differential Testing in Emerging Database Systems.
CoRR
Yuancheng Jiang, Jianing Wang, Chuqi Zhang, Roland H. C. Yap, Zhenkai Liang, Manuel Rigger
2025 J jnl
Finding Logic Bugs in Graph-processing Systems via Graph-cutting.
Proc. ACM Manag. Data
Qiuyang Mang, Jinsheng Ba, Pinjia He, Manuel Rigger
2025 J jnl
Flexible and Expressive Typed Path Patterns for GQL.
Proc. ACM Program. Lang.
Wenjia Ye, Matías Toro, Tomás Díaz, Bruno C. d. S. Oliveira, Manuel Rigger, Claudio Gutierrez, Domagoj Vrgoc
2025 A* conf
Fuzzing the PHP Interpreter via Dataflow Fusion.
USENIX Security Symposium
Yuancheng Jiang, Chuqi Zhang, Bonan Ruan, Jiahao Liu, Manuel Rigger, Roland H. C. Yap, Zhenkai Liang
2025 J jnl
GraphFuzz: Automated Testing of Graph Algorithm Implementations with Differential Fuzzing and Lightweight Feedback.
CoRR
Wenqi Yan, Manuel Rigger, Anthony Wirth, Van-Thuan Pham
2025 J jnl
Metamorphic Coverage.
CoRR
Jinsheng Ba, Yuancheng Jiang, Manuel Rigger
2025 J jnl
NeurBench: Benchmarking Learned Database Components with Data and Workload Drift Modeling.
CoRR
Zhanhao Zhao, Haotian Gao, Naili Xing, Lingze Zeng, Meihui Zhang, Gang Chen, Manuel Rigger, Beng Chin Ooi
2025 A* conf
On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations.
ICSE
Rajdeep Singh Hundal, Yan Xiao, Xiaochun Cao, Jin Song Dong, Manuel Rigger
2025 J jnl
On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations.
CoRR
Rajdeep Singh Hundal, Yan Xiao, Xiaochun Cao, Jin Song Dong, Manuel Rigger
2025 J jnl
Scaling Automated Database System Testing.
CoRR
Suyang Zhong, Manuel Rigger
2025 J jnl
Testing Database Systems with Large Language Model Synthesized Fragments.
CoRR
Suyang Zhong, Manuel Rigger
2025 A* conf
Towards a Unified Query Plan Representation.
ICDE
Jinsheng Ba, Manuel Rigger
2024 J jnl
An Exploratory Case Study of Query Plan Representations.
CoRR
Jinsheng Ba, Manuel Rigger
2024 J jnl
Automatically Testing Database Systems: DBMS testing with test oracles, transaction history, and fuzzing.
ACM Queue
Peter Alvaro, Manuel Rigger
2024 A* conf
CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation.
ICSE
Jinsheng Ba, Manuel Rigger
2024 A conf
Detecting Build Dependency Errors in Incremental Builds.
ISSTA
Jun Lyu, Shanshan Li, He Zhang, Yang Zhang, Guoping Rong, Manuel Rigger
2024 J jnl
Detecting Build Dependency Errors in Incremental Builds.
CoRR
Jun Lyu, Shanshan Li, He Zhang, Yang Zhang, Guoping Rong, Manuel Rigger
2024 A* conf
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation.
ICSE
Yuancheng Jiang, Jiahao Liu, Jinsheng Ba, Roland H. C. Yap, Zhenkai Liang, Manuel Rigger
2024 J jnl
Finding Cross-Rule Optimization Bugs in Datalog Engines.
Proc. ACM Program. Lang.
Chi Zhang, Linzhang Wang, Manuel Rigger
2024 J jnl
Finding Cross-rule Optimization Bugs in Datalog Engines.
CoRR
Chi Zhang, Linzhang Wang, Manuel Rigger
2024 J jnl
Finding Logic Bugs in Spatial Database Engines via
Proc. ACM Manag. Data
Wenjing Deng, Qiuyang Mang, Chengyu Zhang, Manuel Rigger
2024 J jnl
Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs.
CoRR
Wenjing Deng, Qiuyang Mang, Chengyu Zhang, Manuel Rigger
2024 A* conf
Finding XPath Bugs in XML Document Processors via Differential Testing.
ICSE
Shuxin Li, Manuel Rigger
2024 J jnl
Finding XPath Bugs in XML Document Processors via Differential Testing.
CoRR
Shuxin Li, Manuel Rigger
2024 J jnl
Fuzzing the PHP Interpreter via Dataflow Fusion.
CoRR
Yuancheng Jiang, Chuqi Zhang, Bonan Ruan, Jiahao Liu, Manuel Rigger, Roland H. C. Yap, Zhenkai Liang
2024 A conf
Inconsistencies in TeX-Produced Documents.
ISSTA
Jovyn Tan, Manuel Rigger
2024 J jnl
Inconsistencies in TeX-Produced Documents.
CoRR
Jovyn Tan, Manuel Rigger
2024 J jnl
Keep It Simple: Testing Databases via Differential Query Plans.
Proc. ACM Manag. Data
Jinsheng Ba, Manuel Rigger
2024 — conf
Tenth International Workshop on Testing Database Systems (DBTest).
SIGMOD Conference Companion
Anja Gruenheid, Manuel Rigger
2024 J jnl
Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations.
Proc. ACM Softw. Eng.
Jun Lyu, Shanshan Li, He Zhang, Lanxin Yang, Bohan Liu, Manuel Rigger
2024 J jnl
Understanding and Reusing Test Suites Across Database Systems.
CoRR
Suyang Zhong, Manuel Rigger
2024 J jnl
Understanding and Reusing Test Suites Across Database Systems.
Proc. ACM Manag. Data
Suyang Zhong, Manuel Rigger
2024 A conf
Validating Database System Isolation Level Implementations with Version Certificate Recovery.
EuroSys
Jack Clark, Alastair F. Donaldson, John Wickerson, Manuel Rigger
2023 A* conf
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction.
OSDI
Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su
2023 J jnl
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 23441).
Dagstuhl Reports
Hannes Mühleisen, Danica Porobic, Manuel Rigger
2023 J jnl
Finding Performance Issues in Database Engines via Cardinality Estimation Testing.
CoRR
Jinsheng Ba, Manuel Rigger
2023 A* conf
Testing Database Engines via Query Plan Guidance.
ICSE
Jinsheng Ba, Manuel Rigger
2023 J jnl
Testing Database Engines via Query Plan Guidance.
CoRR
Jinsheng Ba, Manuel Rigger
2023 A conf
Testing Graph Database Engines via Query Partitioning.
ISSTA
Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su
2022 — conf
DBTest '22: 9th International Workshop on Testing Database Systems.
SIGMOD Conference
Manuel Rigger, Pinar Tözün
2022 — ed.
DBTest@SIGMOD '22: Proceedings of the 9th International Workshop of Testing Database Systems, Philadelphia, PA, USA, 17 June 2022
DBTest@SIGMOD
Manuel Rigger, Pinar Tözün
2022 A* conf
Finding missed optimizations through the lens of dead code elimination.
ASPLOS
Theodoros Theodoridis, Manuel Rigger, Zhendong Su
2022 — conf
Forest: Structural Code Editing with Multiple Cursors.
Onward!
Philippe Voinov, Manuel Rigger, Zhendong Su
2022 J jnl
Forest: Structural Code Editing with Multiple Cursors.
CoRR
Philippe Voinov, Manuel Rigger, Zhendong Su
2022 — conf
Intramorphic Testing: A New Approach to the Test Oracle Problem.
Onward!
Manuel Rigger, Zhendong Su
2022 J jnl
Intramorphic Testing: A New Approach to the Test Oracle Problem.
CoRR
Manuel Rigger, Zhendong Su
2022 J jnl
Report from Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Management Systems.
Datenbank-Spektrum
Manuel Rigger, Alexander Böhm, Maria Christakis, Eric Lo
2021 J jnl
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442).
Dagstuhl Reports
Alexander Böhm, Maria Christakis, Eric Lo, Manuel Rigger
2021 A* conf
SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs.
OSDI
Jiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, Zhendong Su
2021 — ed.
VMIL 2021: Proceedings of the 13th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Virtual Event / Chicago, IL, USA, 19 October 2021
VMIL@SPLASH
Gregor Richards, Manuel Rigger
2020 J jnl
Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction.
CoRR
Manuel Rigger, Zhendong Su
2020 — conf
Detecting optimization bugs in database engines via non-optimizing reference engine construction.
ESEC/SIGSOFT FSE
Manuel Rigger, Zhendong Su
2020 J jnl
Fast linear programming through transprecision computing on small and sparse data.
Proc. ACM Program. Lang.
Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, Torsten Hoefler
2020 J jnl
Finding bugs in database systems via query partitioning.
Proc. ACM Program. Lang.
Manuel Rigger, Zhendong Su
2020 J jnl
Front Matter, Table of Contents, Preface, Conference Organization.
Dagstuhl Artifacts Ser.
Lisa Nguyen Quang Do, Manuel Rigger
2020 A* conf
Testing Database Engines via Pivoted Query Synthesis.
OSDI
Manuel Rigger, Zhendong Su
2020 J jnl
Testing Database Engines via Pivoted Query Synthesis.
CoRR
Manuel Rigger, Zhendong Su
2019 J jnl
Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
Dagstuhl Artifacts Ser.
Maria Christakis, Manuel Rigger
2019 J jnl
Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction.
CoRR
Raphael Mosaner, David Leopoldseder, Manuel Rigger, Roland Schatz, Hanspeter Mössenböck
2019 C conf
Supporting on-stack replacement in unstructured languages by loop reconstruction and extraction.
MPLR
Raphael Mosaner, David Leopoldseder, Manuel Rigger, Roland Schatz, Hanspeter Mössenböck
2019 J jnl
Understanding GCC Builtins to Develop Better Tools.
CoRR
Manuel Rigger, Stefan Marr, Bram Adams, Hanspeter Mössenböck
2019 — conf
Understanding GCC builtins to develop better tools.
ESEC/SIGSOFT FSE
Manuel Rigger, Stefan Marr, Bram Adams, Hanspeter Mössenböck
2018 — conf
A cost model for a graph-based intermediate-representation in a dynamic compiler.
VMIL@SPLASH
David Leopoldseder, Lukas Stadler, Manuel Rigger, Thomas Würthinger, Hanspeter Mössenböck
2018 B conf
An Analysis of x86-64 Inline Assembly in C Programs.
VEE
Manuel Rigger, Stefan Marr, Stephen Kell, David Leopoldseder, Hanspeter Mössenböck
2018 B conf
Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows.
NSS
Manuel Rigger, Daniel Pekarek, Hanspeter Mössenböck
2018 J jnl
Context-aware Failure-oblivious Computing as a Means of Preventing Buffer Overflows.
CoRR
Manuel Rigger, Daniel Pekarek, Hanspeter Mössenböck
2018 J jnl
Debugging Native Extensions of Dynamic Languages.
CoRR
Jacob Kreindl, Manuel Rigger, Hanspeter Mössenböck
2018 — conf
Debugging native extensions of dynamic languages.
ManLang
Jacob Kreindl, Manuel Rigger, Hanspeter Mössenböck
2018 — conf
Fast-path loop unrolling of non-counted loops to enable subsequent compiler optimizations.
ManLang
David Leopoldseder, Roland Schatz, Lukas Stadler, Manuel Rigger, Thomas Würthinger, Hanspeter Mössenböck
2018 J jnl
Introspection for C and its Applications to Library Robustness.
Art Sci. Eng. Program.
Manuel Rigger, Rene Mayrhofer, Roland Schatz, Matthias Grimmer, Hanspeter Mössenböck
2018 — ch.
Memory-safe Execution of Low-level Languages on a Java Virtual Machine.
Ausgezeichnete Informatikdissertationen
Manuel Rigger
2018 — conf
Sandboxed execution of C and other unsafe languages on the Java virtual machine.
Programming
Manuel Rigger
2018 A* conf
Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model.
ASPLOS
Manuel Rigger, Roland Schatz, René Mayrhofer, Matthias Grimmer, Hanspeter Mössenböck
2018 — conf
Sulong, and thanks for all the fish.
Programming
Manuel Rigger, Roland Schatz, Jacob Kreindl, Christian Häubl, Hanspeter Mössenböck
2017 J jnl
Introspection for C and its Applications to Library Robustness.
CoRR
Manuel Rigger, Rene Mayrhofer, Roland Schatz, Matthias Grimmer, Hanspeter Mössenböck
2017 — conf
Lenient Execution of C on a Java Virtual Machine: or: How I Learned to Stop Worrying and Run the Code.
ManLang
Manuel Rigger, Roland Schatz, Matthias Grimmer, Hanspeter Mössenböck
2016 — conf
Bringing low-level languages to the JVM: efficient execution of LLVM IR on Truffle.
VMIL@SPLASH
Manuel Rigger, Matthias Grimmer, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck
2016 — conf
Sulong - execution of LLVM-based languages on the JVM: position paper.
ICOOOLPS@ECOOP
Manuel Rigger, Matthias Grimmer, Hanspeter Mössenböck
2014 — conf
TruffleC: dynamic execution of C on a Java virtual machine.
PPPJ
Matthias Grimmer, Manuel Rigger, Roland Schatz, Lukas Stadler, Hanspeter Mössenböck
2013 — conf
An efficient native function interface for Java.
PPPJ
Matthias Grimmer, Manuel Rigger, Lukas Stadler, Roland Schatz, Hanspeter Mössenböck