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 |