Weekly Talk

Reusing Test Suites Across Database Systems

Database Management Systems (DBMSs) are essential for efficient data storage and retrieval. To prevent bugs from being introduced, DBMS developers have implemented extensive test suites; for example, the SQLite test suites contain over 92 million …

Sanitizers' Blind Spots: Invisible Undefined Behaviors

Shaohua Li is a last-year Ph.D. student at ETH Zurich, advised by Prof. Zhendong Su. He is generally interested in fuzzing, security, and compilers. His current research focuses on detecting undefined behaviors, solidifying sanitizer implementations, and compiler testing. His research has discovered over 100 unknown bugs in mature compilers including GCC and LLVM. His research on finding sanitizer bugs has won the 2022 Meta Security Research RFP award.

Finding Typing Compiler Bugs

We propose a testing framework for validating static typing procedures in compilers. Our core component is a program generator suitably crafted for producing programs that are likely to trigger typing compiler bugs. One of our main contributions is …

Automated Testing and Improvement of Named Entity Recognition Systems

Autonomous driving system defect localization

Testing Database Systems Through the Lens of Constant Folding and Constant Propagation

Race Detection in CUDA Kernels

Finding XPath Bugs in XML Processors via Differential Testing

Deriving Test Case Generators using Domain-Specific Language to Test Database Engine (Interim Report)

Part1: Reusing testsuites of Databases