Manuel Rigger

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 55

Top Topics

Buffer Overflow

Database Systems

Top Venues

Publications

Shuxin Li, Manuel Rigger
Finding XPath Bugs in XML Document Processors via Differential Testing. ICSE (2024)
Jinsheng Ba, Manuel Rigger
Keep It Simple: Testing Databases via Differential Query Plans. Proc. ACM Manag. Data 2 (3) (2024)
Jovyn Tan, Manuel Rigger
Inconsistencies in TeX-Produced Documents. CoRR (2024)
Jack Clark, Alastair F. Donaldson, John Wickerson, Manuel Rigger
Validating Database System Isolation Level Implementations with Version Certificate Recovery. EuroSys (2024)
Chi Zhang, Linzhang Wang, Manuel Rigger
Finding Cross-Rule Optimization Bugs in Datalog Engines. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Yuancheng Jiang, Jiahao Liu, Jinsheng Ba, Roland H. C. Yap, Zhenkai Liang, Manuel Rigger
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation. ICSE (2024)
Jun Lyu, Shanshan Li, He Zhang, Yang Zhang, Guoping Rong, Manuel Rigger
Detecting Build Dependency Errors in Incremental Builds. CoRR (2024)
Peter Alvaro, Manuel Rigger
Automatically Testing Database Systems: DBMS testing with test oracles, transaction history, and fuzzing. ACM Queue 21 (6) (2024)
Jun Lyu, Shanshan Li, He Zhang, Lanxin Yang, Bohan Liu, Manuel Rigger
Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Chi Zhang, Linzhang Wang, Manuel Rigger
Finding Cross-rule Optimization Bugs in Datalog Engines. CoRR (2024)
Anja Gruenheid, Manuel Rigger
Tenth International Workshop on Testing Database Systems (DBTest). SIGMOD Conference Companion (2024)
Jinsheng Ba, Manuel Rigger
CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation. ICSE (2024)
Shuxin Li, Manuel Rigger
Finding XPath Bugs in XML Document Processors via Differential Testing. CoRR (2024)
Hannes Mühleisen, Danica Porobic, Manuel Rigger
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 23441). Dagstuhl Reports 13 (10) (2023)
Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su
Testing Graph Database Engines via Query Partitioning. ISSTA (2023)
Jinsheng Ba, Manuel Rigger
Testing Database Engines via Query Plan Guidance. CoRR (2023)
Jinsheng Ba, Manuel Rigger
Finding Performance Issues in Database Engines via Cardinality Estimation Testing. CoRR (2023)
Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. OSDI (2023)
Jinsheng Ba, Manuel Rigger
Testing Database Engines via Query Plan Guidance. ICSE (2023)
Manuel Rigger, Zhendong Su
Intramorphic Testing: A New Approach to the Test Oracle Problem. Onward! (2022)
Philippe Voinov, Manuel Rigger, Zhendong Su
Forest: Structural Code Editing with Multiple Cursors. Onward! (2022)
Theodoros Theodoridis, Manuel Rigger, Zhendong Su
Finding missed optimizations through the lens of dead code elimination. ASPLOS (2022)
Philippe Voinov, Manuel Rigger, Zhendong Su
Forest: Structural Code Editing with Multiple Cursors. CoRR (2022)
Manuel Rigger, Pinar Tözün
DBTest '22: 9th International Workshop on Testing Database Systems. SIGMOD Conference (2022)
Manuel Rigger, Zhendong Su
Intramorphic Testing: A New Approach to the Test Oracle Problem. CoRR (2022)
Manuel Rigger, Alexander Böhm, Maria Christakis, Eric Lo
Report from Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Management Systems. Datenbank-Spektrum 22 (3) (2022)
Alexander Böhm, Maria Christakis, Eric Lo, Manuel Rigger
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442). Dagstuhl Reports 11 (10) (2021)
Jiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, Zhendong Su
SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs. OSDI (2021)
Manuel Rigger, Zhendong Su
Finding bugs in database systems via query partitioning. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Manuel Rigger, Zhendong Su
Testing Database Engines via Pivoted Query Synthesis. CoRR (2020)
Manuel Rigger, Zhendong Su
Testing Database Engines via Pivoted Query Synthesis. OSDI (2020)
Lisa Nguyen Quang Do, Manuel Rigger
Front Matter, Table of Contents, Preface, Conference Organization. Dagstuhl Artifacts Ser. 6 (2) (2020)
Manuel Rigger, Zhendong Su
Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction. CoRR (2020)
Manuel Rigger, Zhendong Su
Detecting optimization bugs in database engines via non-optimizing reference engine construction. ESEC/SIGSOFT FSE (2020)
Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, Torsten Hoefler
Fast linear programming through transprecision computing on small and sparse data. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Raphael Mosaner, David Leopoldseder, Manuel Rigger, Roland Schatz, Hanspeter Mössenböck
Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction. CoRR (2019)
Maria Christakis, Manuel Rigger
Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 5 (2) (2019)
Raphael Mosaner, David Leopoldseder, Manuel Rigger, Roland Schatz, Hanspeter Mössenböck
Supporting on-stack replacement in unstructured languages by loop reconstruction and extraction. MPLR (2019)
Manuel Rigger, Stefan Marr, Bram Adams, Hanspeter Mössenböck
Understanding GCC Builtins to Develop Better Tools. CoRR (2019)
Manuel Rigger, Stefan Marr, Bram Adams, Hanspeter Mössenböck
Understanding GCC builtins to develop better tools. ESEC/SIGSOFT FSE (2019)
David Leopoldseder, Roland Schatz, Lukas Stadler, Manuel Rigger, Thomas Würthinger, Hanspeter Mössenböck
Fast-path loop unrolling of non-counted loops to enable subsequent compiler optimizations. ManLang (2018)
Manuel Rigger, Daniel Pekarek, Hanspeter Mössenböck
Context-aware Failure-oblivious Computing as a Means of Preventing Buffer Overflows. CoRR (2018)
David Leopoldseder, Lukas Stadler, Manuel Rigger, Thomas Würthinger, Hanspeter Mössenböck
A cost model for a graph-based intermediate-representation in a dynamic compiler. VMIL@SPLASH (2018)
Manuel Rigger, Roland Schatz, René Mayrhofer, Matthias Grimmer, Hanspeter Mössenböck
Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model. ASPLOS (2018)
Manuel Rigger
Sandboxed execution of C and other unsafe languages on the Java virtual machine. Programming (2018)
Manuel Rigger, Roland Schatz, Jacob Kreindl, Christian Häubl, Hanspeter Mössenböck
Sulong, and thanks for all the fish. Programming (2018)
Jacob Kreindl, Manuel Rigger, Hanspeter Mössenböck
Debugging Native Extensions of Dynamic Languages. CoRR (2018)
Manuel Rigger, Stefan Marr, Stephen Kell, David Leopoldseder, Hanspeter Mössenböck
An Analysis of x86-64 Inline Assembly in C Programs. VEE (2018)
Manuel Rigger, Rene Mayrhofer, Roland Schatz, Matthias Grimmer, Hanspeter Mössenböck
Introspection for C and its Applications to Library Robustness. Art Sci. Eng. Program. 2 (2) (2018)
Manuel Rigger, Daniel Pekarek, Hanspeter Mössenböck
Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows. NSS (2018)
Jacob Kreindl, Manuel Rigger, Hanspeter Mössenböck
Debugging native extensions of dynamic languages. ManLang (2018)
Manuel Rigger, Rene Mayrhofer, Roland Schatz, Matthias Grimmer, Hanspeter Mössenböck
Introspection for C and its Applications to Library Robustness. CoRR (2017)
Manuel Rigger, Roland Schatz, Matthias Grimmer, Hanspeter Mössenböck
Lenient Execution of C on a Java Virtual Machine: or: How I Learned to Stop Worrying and Run the Code. ManLang (2017)
Manuel Rigger, Matthias Grimmer, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck
Bringing low-level languages to the JVM: efficient execution of LLVM IR on Truffle. VMIL@SPLASH (2016)
Manuel Rigger, Matthias Grimmer, Hanspeter Mössenböck
Sulong - execution of LLVM-based languages on the JVM: position paper. ICOOOLPS@ECOOP (2016)
Matthias Grimmer, Manuel Rigger, Roland Schatz, Lukas Stadler, Hanspeter Mössenböck
TruffleC: dynamic execution of C on a Java virtual machine. PPPJ (2014)
Matthias Grimmer, Manuel Rigger, Lukas Stadler, Roland Schatz, Hanspeter Mössenböck
An efficient native function interface for Java. PPPJ (2013)