Top Conference Papers

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 (AR: 18%)
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 (AR: 17%)
[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 (AR: 28%)
[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 (AR: 24%)
[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 (AR: 18%)
[PDF] [Bibtex] [DOI] [Slides] [ACM authorizer link]

Conference Papers

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 (AR: 48%)
[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 (AR: 39%)
[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 (AR: 32%)
[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 (AR: 45%)
[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 (AR: 42%)
[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 (AR: 42%)
[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 (AR: 48%)
[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]