Folgen
Manuel Rigger
Titel
Zitiert von
Zitiert von
Jahr
Testing Database Engines via Pivoted Query Synthesis
M Rigger, Z Su
14th {USENIX} Symposium on Operating Systems Design and Implementation …, 2020
742020
Finding bugs in database systems via query partitioning
M Rigger, Z Su
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
642020
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
642020
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
572016
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
352014
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
252018
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
252013
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
232021
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
232018
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
20*2016
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
172022
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
132018
Testing database engines via query plan guidance
J Ba, M Rigger
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
102023
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
102017
Testing graph database engines via query partitioning
M Kamm, M Rigger, C Zhang, Z Su
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
92023
Understanding GCC Builtins to Develop Better Tools
M Rigger, S Marr, B Adams, H Mössenböck
92019
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
92018
Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages
M Rigger
ECOOP Doctoral Symposium, 2016
72016
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
62019
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20