Latest News

Our paper "Detecting Build Dependency Errors in Incremental Builds" was accepted at ISSTA 2024.
Mar 2, 2024
Our paper "Validating Database System Isolation Level Implementations with Version Certificate Recovery" was accepted at EuroSys 2024.
Feb 8, 2024
NUS School of Computing featured our work in an article!
The article featured at https://www.comp.nus.edu.sg/ describes our Query Plan Guidance work, which received an ACM SIGSOFT Distinguished Paper Award at ICSE 2023.
Jan 5, 2024
Our paper "Finding Cross-rule Optimization Bugs in Datalog Engines" was accepted at OOPSLA '24!
Dec 23, 2023
Our paper "Finding XPath Bugs in XML Document Processors via Differential Testing" was accepted at ICSE '24!
Dec 15, 2023
Our paper "Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation" was accepted at ICSE'24!
Oct 10, 2023
Our paper "Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation" was accepted at ICSE '24!
Aug 24, 2023
Jinsheng Ba received a "Dean's Graduate Excellent Research Award" from School of Computing!
Aug 10, 2023
Our paper "Testing Database Engines via Query Plan Guidance" received "ACM SIGSOFT Distinguished Paper Award" at ICSE'23!
Feb 23, 2023
Jinsheng Ba received a "Research Achievement Award" from School of Computing!
Jan 5, 2023