USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 3 results:
Filters: Author is Manuel Rigger [Clear All Filters]
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :397--417.
.
2023. SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs. 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). :479--494.
.
2021. Testing Database Engines via Pivoted Query Synthesis. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :667--682.
.
2020.