Top Conference Papers

SIGMOD
2024
Keep It Simple: Testing Databases via Differential Query Plans
Jinsheng Ba, Manuel Rigger
Proc. ACM Manag. Data, Santiago, Chile
ISSTA
2024
Detecting Build Dependency Errors in Incremental Builds
Jun Lyu, Shanshan Li, He Zhang, Yang Zhang, Guoping Rong, Manuel Rigger
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Vienna, Austria
EuroSys
2024
Validating Database System Isolation Level Implementations with Version Certificate Recovery
Jack Clark, Alastair Donaldson, John Wickerson, Manuel Rigger
Proceedings of the Nineteenth European Conference on Computer Systems, Athens, Greece
OOPSLA
2024
Finding Cross-rule Optimization Bugs in Datalog Engines
Chi Zhang, Linzhang Wang, Manuel Rigger
Proc. ACM Program. Lang.
[PDF] [GitHub]
ICSE
2024
Finding XPath Bugs in XML Document Processors via Differential Testing
Shuxin Li, Manuel Rigger
Proceedings of the 46th International Conference on Software Engineering, Lisbon, Portugal
[PDF] [Artifact] [GitHub]
ICSE
2024
CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
Jinsheng Ba, Manuel Rigger
Proceedings of the 46th International Conference on Software Engineering, Lisbon, Portugal
[PDF] [GitHub] [Artifact] [NUS News]
ICSE
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 International Conference on Software Engineering, Lisbon, Portugal
[PDF] [GitHub] [Artifact]
OSDI
2023
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction
Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23), Boston, MA, USA
[PDF] [Page] [GitHub] [YouTube]
ISSTA
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, Seattle, United States
[DOI] [Artifact]
ICSE
2023
Testing Database Engines via Query Plan Guidance
Jinsheng Ba, Manuel Rigger
Proceedings of the 45th International Conference on Software Engineering, Melbourne, Australia
[PDF] [GitHub] [Artifact]
ASPLOS
2022
Finding Missed Optimizations through the Lens of Dead Code Elimination
Theodoros Theodoridis, Manuel Rigger, Zhendong Su
Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland
[PDF] [DOI] [YouTube] [Artifact] [GitHub]
OSDI
2021
SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs
Jiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, Zhendong Su
15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21), virtual
[PDF] [Artifact] [Page] [YouTube] [Slides] [GitHub]
OSDI
2020
Testing Database Engines via Pivoted Query Synthesis
Manuel Rigger, Zhendong Su
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20), Banff, Alberta, Canada
[PDF] [Artifact] [Page] [Slides (long)] [Slides (short)]
OOPSLA
2020
Finding Bugs in Database Systems via Query Partitioning
Manuel Rigger, Zhendong Su
Proc. ACM Program. Lang.
[PDF] [DOI] [Slides] [YouTube] [Artifact]
OOPSLA
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.
[PDF] [DOI] [YouTube]
ESEC/FSE
2020
Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction
Manuel Rigger, Zhendong Su
Proceedings of the 2020 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Sacramento, California, United States
[PDF] [DOI] [YouTube (Full)] [Slides (Teaser)] [Slides (Full)] [Reddit] [Artifact]
ESEC/FSE
2019
Understanding GCC Builtins to Develop Better Tools
Manuel Rigger, Stefan Marr, Bram Adams, Hanspeter Mössenböck
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Tallinn, Estonia
[PDF] [DOI] [Slides] [ACM authorizer link] [Artifact]
ASPLOS
2018
Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model
Manuel Rigger, Roland Schatz, Rene Mayrhofer, Matthias Grimmer, Hanspeter Mössenböck
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, Williamsburg, VA, USA
[PDF] [Bibtex] [DOI] [Slides] [ACM authorizer link]

Conference Papers

Onward!
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, New Paradigms, and Reflections on Programming and Software, Auckland, New Zealand
[PDF] [Artifact] [GitHub] [Forest Online Version]
Onward!
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, New Paradigms, and Reflections on Programming and Software, Auckland, New Zealand
[PDF] [Slides] [Artifact]
ManLang
2018
Fast-Path Loop Unrolling of Non-Counted Loops to Enable Subsequent Compiler Optimizations
David Leopoldseder, Roland Schatz, Lukas Stadler, Manuel Rigger, Hanspeter Mössenböck
Proceedings of the 15th International Conference on Managed Languages and Runtimes, Linz, Austria
[PDF] [DOI] [ACM authorizer link]
NSS
2018
Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows
Manuel Rigger, Daniel Pekarek, Hanspeter Mössenböck
Proceedings of the 12th International Conference on Network and System Security, Hong Kong, China
[PDF] [DOI] [Slides]
VEE
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, Williamsburg, VA, USA
[PDF] [Bibtex] [DOI] [Slides] [ACM authorizer link]
ManLang
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, Prague, Czech Republic
[PDF] [Bibtex] [DOI] [Slides] [ACM authorizer link]
PPPJ
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, Languages, and Tools, Cracow, Poland
[Bibtex] [DOI] [ACM authorizer link]
PPPJ
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, Languages, and Tools, Stuttgart, Germany
[Bibtex] [DOI] [ACM authorizer link]

Journal Papers

Programming
2018
Introspection for C and its Applications to Library Robustness
Manuel Rigger, Roland Schatz, Rene Mayrhofer, Matthias Grimmer, Hanspeter Mössenböck
The Art, Science, and Engineering of Programming
[PDF] [Bibtex] [DOI] [Slides]

Full Workshop Papers

VMIL
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, Boston, MA, USA
[PDF] [DOI] [ACM authorizer link]
VMIL
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, Amsterdam, Netherlands
[PDF] [Bibtex] [DOI] [Slides] [ACM authorizer link]

Other Publications

MPLR
2019
Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction (Tool Paper)
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, Athens, Greece
[DOI] [PDF]
ManLang
2018
Debugging Native Extensions of Dynamic Languages (Tool Paper)
Jacob Kreindl, Manuel Rigger, Hanspeter Mössenböck
Proceedings of the 15th International Conference on Managed Languages and Runtimes, Linz, Austria
[PDF] [DOI] [ACM authorizer link]
MoreVMs
2018
Sulong, and Thanks for All the Fish (Extended Abstract)
Manuel Rigger, Roland Schatz, Jacob Kreindl, Cristian HÀubl, Hanspeter Mössenböck
Workshop on Modern Language Runtimes, Ecosystems, and VMs, Nice, France
[PDF] [DOI] [Slides]
Programming SRC
2018
Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine (Extended Abstract)
Manuel Rigger
Student Research Competition at the Intl. Conf. on the Art, Science, and Engineering of Programmings, Nice, France
[PDF] [DOI] [Slides]
ECOOP DS
2016
Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages
Manuel Rigger
ECOOP 2016 Doctoral Symposium, Rome, Italy
[PDF] [Bibtex]
ICOOOLPS
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, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, Rome, Italy
[PDF] [Bibtex] [DOI] [Slides] [ACM authorizer link]

Theses

JKU
2014
Truffle/C Interpreter
Manuel Rigger
Master's thesis, Johannes Kepler University Linz
[PDF]
Xiada
2015
German Involvement in Xiamen After the First Opium War 1842-1917
Manuel Rigger
Master's thesis, Xiamen University
[PDF]