USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation
Submitted by admin on May 9, 2024 - 4:09 pm
Title | Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation |
Publication Type | Conference Paper |
Year of Publication | 2024 |
Authors | Jiang Z-M, Su Z |
Conference Name | 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24) |
Date Published | 07/2024 |
Publisher | USENIX Association |
Conference Location | Santa Clara, CA |
ISBN Number | 978-1-939133-40-3 |
URL | https://www.usenix.org/conference/osdi24/presentation/jiang |