Manuel Rigger

According to our database, Manuel Rigger authored at least 40 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Automatically Testing Database Systems: DBMS testing with test oracles, transaction history, and fuzzing.

Peter Alvaro, Manuel Rigger

ACM Queue, 2024

Finding Cross-rule Optimization Bugs in Datalog Engines.

Chi Zhang, Linzhang Wang, Manuel Rigger

CoRR, 2024

Finding XPath Bugs in XML Document Processors via Differential Testing.

Shuxin Li, Manuel Rigger

CoRR, 2024

Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation.

Yuancheng Jiang, Jiahao Liu, Jinsheng Ba, Roland H. C. Yap, Zhenkai Liang, Manuel Rigger

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Validating Database System Isolation Level Implementations with Version Certificate Recovery.

Jack Clark, Alastair F. Donaldson, John Wickerson, Manuel Rigger

Proceedings of the Nineteenth European Conference on Computer Systems, 2024

2023

Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 23441).

Hannes Mühleisen, Danica Porobic, Manuel Rigger

Dagstuhl Reports, 2023

Finding Performance Issues in Database Engines via Cardinality Estimation Testing.

Jinsheng Ba, Manuel Rigger

CoRR, 2023

Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction.

Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

Testing Graph Database Engines via Query Partitioning.

Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Testing Database Engines via Query Plan Guidance.

Jinsheng Ba, Manuel Rigger

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Report from Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Management Systems.

Manuel Rigger, Alexander Böhm, Maria Christakis, Eric Lo

Datenbank-Spektrum, November, 2022

DBTest '22: 9th International Workshop on Testing Database Systems.

Manuel Rigger, Pinar Tözün

Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Forest: Structural Code Editing with Multiple Cursors.

Philippe Voinov, Manuel Rigger, Zhendong Su

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

Intramorphic Testing: A New Approach to the Test Oracle Problem.

Manuel Rigger, Zhendong Su

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

Finding missed optimizations through the lens of dead code elimination.

Theodoros Theodoridis, Manuel Rigger, Zhendong Su

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442).

Alexander Böhm, Maria Christakis, Eric Lo, Manuel Rigger

Dagstuhl Reports, 2021

SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs.

Jiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, Zhendong Su

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

2020

Finding bugs in database systems via query partitioning.

Manuel Rigger, Zhendong Su

Proc. ACM Program. Lang., 2020

Fast linear programming through transprecision computing on small and sparse data.

Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, Torsten Hoefler

Proc. ACM Program. Lang., 2020

Front Matter, Table of Contents, Preface, Conference Organization.

Lisa Nguyen Quang Do, Manuel Rigger

Dagstuhl Artifacts Ser., 2020

Detecting optimization bugs in database engines via non-optimizing reference engine construction.

Manuel Rigger, Zhendong Su

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Testing Database Engines via Pivoted Query Synthesis.

Manuel Rigger, Zhendong Su

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019

Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.

Maria Christakis, Manuel Rigger

Dagstuhl Artifacts Ser., 2019

Understanding GCC builtins to develop better tools.

Manuel Rigger, Stefan Marr, Bram Adams, Hanspeter Mössenböck

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Supporting on-stack replacement in unstructured languages by loop reconstruction and extraction.

Raphael Mosaner, David Leopoldseder, Manuel Rigger, Roland Schatz, Hanspeter Mössenböck

Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2019

2018

Memory-safe Execution of Low-level Languages on a Java Virtual Machine.

Manuel Rigger

Proceedings of the Ausgezeichnete Informatikdissertationen 2018., 2018

Introspection for C and its Applications to Library Robustness.

Manuel Rigger, Rene Mayrhofer, Roland Schatz, Matthias Grimmer, Hanspeter Mössenböck

Art Sci. Eng. Program., 2018

An Analysis of x86-64 Inline Assembly in C Programs.

Manuel Rigger, Stefan Marr, Stephen Kell, David Leopoldseder, Hanspeter Mössenböck

Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2018

Sulong, and thanks for all the fish.

Manuel Rigger, Roland Schatz, Jacob Kreindl, Christian Häubl, Hanspeter Mössenböck

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Sandboxed execution of C and other unsafe languages on the Java virtual machine.

Manuel Rigger

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Fast-path loop unrolling of non-counted loops to enable subsequent compiler optimizations.

David Leopoldseder, Roland Schatz, Lukas Stadler, Manuel Rigger, Thomas Würthinger, Hanspeter Mössenböck

Proceedings of the 15th International Conference on Managed Languages & Runtimes, 2018

Debugging native extensions of dynamic languages.

Jacob Kreindl, Manuel Rigger, Hanspeter Mössenböck

Proceedings of the 15th International Conference on Managed Languages & Runtimes, 2018

A cost model for a graph-based intermediate-representation in a dynamic compiler.

David Leopoldseder, Lukas Stadler, Manuel Rigger, Thomas Würthinger, Hanspeter Mössenböck

Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2018

Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows.

Manuel Rigger, Daniel Pekarek, Hanspeter Mössenböck

Proceedings of the Network and System Security - 12th International Conference, 2018

Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model.

Manuel Rigger, Roland Schatz, René Mayrhofer, Matthias Grimmer, Hanspeter Mössenböck

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017

Lenient Execution of C on a Java Virtual Machine: or: How I Learned to Stop Worrying and Run the Code.

Manuel Rigger, Roland Schatz, Matthias Grimmer, Hanspeter Mössenböck

Proceedings of the 14th International Conference on Managed Languages and Runtimes, 2017

2016

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

Manuel Rigger, Matthias Grimmer, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck

Proceedings of the 8th International Workshop on Virtual Machines and Intermediate Languages, 2016

Sulong - execution of LLVM-based languages on the JVM: position paper.

Manuel Rigger, Matthias Grimmer, Hanspeter Mössenböck

Proceedings of the 11th Workshop on Implementation, 2016

2014

TruffleC: dynamic execution of C on a Java virtual machine.

Matthias Grimmer, Manuel Rigger, Roland Schatz, Lukas Stadler, Hanspeter Mössenböck

Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

2013

An efficient native function interface for Java.

Matthias Grimmer, Manuel Rigger, Lukas Stadler, Roland Schatz, Hanspeter Mössenböck

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013