Concepedia

Manuel Rigger

MR

14

Publications

371

Citations

12

H-Index

2013

Active since

Affiliations

Johannes Kepler University of Linz(Current)

ETH Zurich

National University of Singapore

Manuel Rigger is an author at Johannes Kepler University of Linz specializing in engineering, computer science, and program analysis.

ORCID

Top concepts

Publications per year

2013–2024

14

Publications

14

Finding bugs in database systems via query partitioning

Manuel Rigger, Zhendong Su · Proceedings of the ACM on Programming Languages · 2020 · 94 citations · Full text

, , +20

Finding missed optimizations through the lens of dead code elimination

Theodoros Theodoridis, Manuel Rigger, Zhendong Su · 2022 · 41 citations

, , +24

Bringing low-level languages to the JVM: efficient execution of LLVM IR on Truffle

Manuel Rigger, Matthias Grimmer, Christian Wimmer et al. · 2016 · 37 citations

Testing Database Engines via Query Plan Guidance

Jinsheng Ba, Manuel Rigger · 2023 · 33 citations

Testing Database Engines via Pivoted Query Synthesis

Manuel Rigger, Zhendong Su · arXiv (Cornell University) · 2020 · 28 citations · Full text

, , +21

Rows per page

1–5 of 14