Seuraa
Manuel Rigger
Manuel Rigger
National University of Singapore
Vahvistettu sähköpostiosoite verkkotunnuksessa comp.nus.edu.sg - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Testing Database Engines via Pivoted Query Synthesis
M Rigger, Z Su
14th {USENIX} Symposium on Operating Systems Design and Implementation …, 2020
1122020
Finding bugs in database systems via query partitioning
M Rigger, Z Su
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
962020
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
942020
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
602016
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
352022
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
352021
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
Testing database engines via query plan guidance
J Ba, M Rigger
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
282023
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
282018
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
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
252018
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
232023
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
22*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
202018
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
152023
Understanding GCC Builtins to Develop Better Tools
M Rigger, S Marr, B Adams, H Mössenböck
122019
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
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
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
82024
Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages
M Rigger
ECOOP Doctoral Symposium, 2016
82016
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20