Manuel Rigger
National University of Singapore(SG)National University System(US)
Publications by Year
Research Areas
Advanced Database Systems and Queries, Software Testing and Debugging Techniques, Parallel Computing and Optimization Techniques, Software System Performance and Reliability, Distributed systems and fault tolerance
Most-Cited Works
- → Finding bugs in database systems via query partitioning(2020)97 cited
- → Finding missed optimizations through the lens of dead code elimination(2022)42 cited
- → Bringing low-level languages to the JVM: efficient execution of LLVM IR on Truffle(2016)37 cited
- → Testing Database Engines via Query Plan Guidance(2023)36 cited
- → Testing Database Engines via Pivoted Query Synthesis(2020)28 cited
- → Testing Graph Database Engines via Query Partitioning(2023)27 cited
- → TruffleC(2014)20 cited
- → Sulong, and Thanks for All the Bugs(2018)15 cited
- → Keep It Simple: Testing Databases via Differential Query Plans(2024)15 cited
- → Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation(2024)14 cited