| 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 | 50 | 2016 |
| Testing Database Engines via Pivoted Query Synthesis M Rigger, Z Su 14th {USENIX} Symposium on Operating Systems Design and Implementation …, 2020 | 43 | 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 | 38 | 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 | 35 | 2020 |
| 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 | 29 | 2014 |
| 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 |
| 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 | 25 | 2018 |
| 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 | 21 | 2018 |
| 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 | 15* | 2016 |
| 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 | 11 | 2021 |
| 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 | 10 | 2018 |
| Understanding GCC Builtins to Develop Better Tools M Rigger, S Marr, B Adams, H Mössenböck | 9 | 2019 |
| 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 | 9 | 2017 |
| 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 | 6 | 2018 |
| 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 | 6 | 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 | 5 | 2022 |
| 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 | 5 | 2019 |
| Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages M Rigger ECOOP Doctoral Symposium, 2016 | 5 | 2016 |
| 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 | 4 | 2020 |
| Testing Database Engines via Query Plan Guidance J Ba, M Rigger Proceedings of International Conference on Software Engineering (ICSE), 2023 | 3 | 2023 |
Hanspeter MössenböckProfessor of Computer Science, Johannes Kepler University LinzVerified email at jku.at
