| Testing Database Engines via Pivoted Query Synthesis M Rigger, Z Su 14th {USENIX} Symposium on Operating Systems Design and Implementation …, 2020 | 115 | 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 | 98 | 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 | 98 | 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 | 60 | 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 | 37 | 2022 |
| 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 | 35 | 2021 |
| 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 |
| Testing database engines via query plan guidance J Ba, M Rigger 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 29 | 2023 |
| 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 | 28 | 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 | 25 | 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 | 24 | 2023 |
| 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 | 23* | 2016 |
| 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 | 20 | 2018 |
| Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction ZM Jiang, S Liu, M Rigger, Z Su 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2023 | 16 | 2023 |
| Understanding GCC Builtins to Develop Better Tools M Rigger, S Marr, B Adams, H Mössenböck | 12 | 2019 |
| 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 |
| Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation Y Jiang, J Liu, J Ba, RHC Yap, Z Liang, M Rigger Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024 | 9 | 2024 |
| Intramorphic Testing: A New Approach to the Test Oracle Problem M Rigger, Z Su Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas …, 2022 | 8 | 2022 |
Hanspeter MössenböckProfessor of Computer Science, Johannes Kepler University Linzبريد إلكتروني تم التحقق منه على jku.at