Biblio

Export 3 results:
Filters: Author is Manuel Rigger  [Clear All Filters]
2023
Jiang Z-M, Liu S, Rigger M, Su Z.  2023.  Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :397--417.
2021
Zhang J, Wang S, Rigger M, He P, Su Z.  2021.  SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs. 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). :479--494.
2020
Rigger M, Su Z.  2020.  Testing Database Engines via Pivoted Query Synthesis. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :667--682.