Παρακολούθηση
Manuel Rigger
Manuel Rigger
National University of Singapore
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα comp.nus.edu.sg - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Testing Database Engines via Pivoted Query Synthesis
M Rigger, Z Su
14th {USENIX} Symposium on Operating Systems Design and Implementation …, 2020
1092020
Finding bugs in database systems via query partitioning
M Rigger, Z Su
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
952020
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
932020
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
642016
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
372014
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
342021
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
332022
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
292018
Testing database engines via query plan guidance
J Ba, M Rigger
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
282023
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
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
192018
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
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
112018
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
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20