Follow
Manuel Rigger
Title
Cited by
Cited by
Year
Bringing low-level languages to the JVM: efficient execution of LLVM IR on Truffle
M Rigger, M Grimmer, C Wimmer, T Würthinger, H Mössenböck
Proceedings of the 8th International Workshop on Virtual Machines and …, 2016
482016
TruffleC: dynamic execution of C on a Java virtual machine
M Grimmer, M Rigger, R Schatz, L Stadler, H Mössenböck
Proceedings of the 2014 International Conference on Principles and Practices …, 2014
292014
Testing Database Engines via Pivoted Query Synthesis
M Rigger, Z Su
14th {USENIX} Symposium on Operating Systems Design and Implementation …, 2020
272020
An efficient native function interface for Java
M Grimmer, M Rigger, L Stadler, R Schatz, H Mössenböck
Proceedings of the 2013 International Conference on Principles and Practices …, 2013
262013
An Analysis of x86-64 Inline Assembly in C Programs
M Rigger, S Marr, S Kell, D Leopoldseder, H Mössenböck
Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on …, 2018
232018
Finding bugs in database systems via query partitioning
M Rigger, Z Su
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
222020
Detecting optimization bugs in database engines via non-optimizing reference engine construction
M Rigger, Z Su
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
222020
Sulong, and Thanks For All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model
M Rigger, R Schatz, R Mayrhofer, M Grimmer, H Mössenböck
Proceedings of the Twenty-Third International Conference on Architectural …, 2018
212018
Sulong - Execution of LLVM-Based Languages on the JVM
M Rigger, M Grimmer, H Mössenböck
Proceedings of the 11th Workshop on Implementation, Compilation …, 2016
13*2016
Lenient Execution of C on a Java Virtual Machine or: How I Learned to Stop Worrying and Run the Code
M Rigger, R Schatz, M Grimmer, H Mössenböck
Proceedings of the 14th International Conference on Managed Languages and …, 2017
92017
Understanding GCC Builtins to Develop Better Tools
M Rigger, S Marr, B Adams, H Mössenböck
82019
SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs
J Zhang, S Wang, M Rigger, P He, Z Su
15th USENIX Symposium on Operating Systems Design and Implementation ({OSDI …, 2021
62021
Fast-path loop unrolling of non-counted loops to enable subsequent compiler optimizations
D Leopoldseder, R Schatz, L Stadler, M Rigger, T Würthinger, ...
Proceedings of the 15th International Conference on Managed Languages …, 2018
62018
Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows
M Rigger, D Pekarek, H Mössenböck
International Conference on Network and System Security, 376-390, 2018
62018
A cost model for a graph-based intermediate-representation in a dynamic compiler
D Leopoldseder, L Stadler, M Rigger, T Würthinger, H Mössenböck
Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual …, 2018
52018
Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages
M Rigger
ECOOP Doctoral Symposium, 2016
52016
Fast linear programming through transprecision computing on small and sparse data
T Grosser, T Theodoridis, M Falkenstein, A Pitchanathan, M Kruse, ...
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 195, 2020
42020
Supporting on-stack replacement in unstructured languages by loop reconstruction and extraction
R Mosaner, D Leopoldseder, M Rigger, R Schatz, H Mössenböck
Proceedings of the 16th ACM SIGPLAN International Conference on Managed …, 2019
42019
Finding missed optimizations through the lens of dead code elimination
T Theodoridis, M Rigger, Z Su
Proceedings of the 27th ACM International Conference on Architectural …, 2022
32022
Sulong, and thanks for all the fish
M Rigger, R Schatz, J Kreindl, C Häubl, H Mössenböck
Conference Companion of the 2nd International Conference on Art, Science …, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20