Find more information about Manuel at https://www.manuelrigger.at/.
Latest
- Our paper "Scaling Automated Database System Testing" was accepted at ASPLOS 2026.
- Scaling Automated Database System Testing
- Finding Logic Bugs in Graph-processing Systems via Graph-cutting
- On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations
- Towards a Unified Query Plan Representation
- Fuzzing the PHP Interpreter via Dataflow Fusion
- Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
- Constant Optimization Driven Database System Testing
- Understanding and Reusing Test Suites Across Database Systems
- Inconsistencies in TeX-produced Documents
- Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations
- Keep It Simple: Testing Databases via Differential Query Plans
- Detecting Build Dependency Errors in Incremental Builds
- Validating Database System Isolation Level Implementations with Version Certificate Recovery
- Finding Cross-rule Optimization Bugs in Datalog Engines
- Finding XPath Bugs in XML Document Processors via Differential Testing
- CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
- Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation
- Testing Database Engines via Query Plan Guidance
- Testing Graph Database Engines via Query Partitioning
- Forest: Structural Code Editing with Multiple Cursors
- Intramorphic Testing: A New Approach to the Test Oracle Problem