Testing Database Engines via Pivoted Query Synthesis M Rigger, Z Su 14th {USENIX} Symposium on Operating Systems Design and Implementation …, 2020 | 79 | 2020 |
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 | 70 | 2020 |
Finding bugs in database systems via query partitioning M Rigger, Z Su Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 69 | 2020 |
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 | 57 | 2016 |
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 | 35 | 2014 |
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 | 28 | 2021 |
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 | 26 | 2018 |
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 | 26 | 2013 |
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 | 24 | 2018 |
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 | 22 | 2022 |
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 |
Testing database engines via query plan guidance J Ba, M Rigger 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 14 | 2023 |
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 | 14 | 2018 |
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 | 12 | 2023 |
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 | 10 | 2018 |
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 | 10 | 2017 |
Understanding GCC Builtins to Develop Better Tools M Rigger, S Marr, B Adams, H Mössenböck | 9 | 2019 |
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 | 7 | 2018 |
Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages M Rigger ECOOP Doctoral Symposium, 2016 | 7 | 2016 |
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 | 6 | 2019 |