Latest News

Our paper "Validating Database System Isolation Level Implementations with Version Certificate Recovery" was accepted at EuroSys 2024.
Feb 8, 2024 0 min read
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 1 min read
Our paper "Finding Cross-rule Optimization Bugs in Datalog Engines" was accepted at OOPSLA '24!
Dec 23, 2023 0 min read
Our paper "Finding XPath Bugs in XML Document Processors via Differential Testing" was accepted at ICSE '24!
Dec 15, 2023 0 min read
Our paper "Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation" was accepted at ICSE'24!
Oct 10, 2023 0 min read
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 0 min read
Jinsheng Ba received a "Dean's Graduate Excellent Research Award" from School of Computing!
Aug 10, 2023 0 min read
Our paper "Testing Database Engines via Query Plan Guidance" received "ACM SIGSOFT Distinguished Paper Award" at ICSE'23!
Feb 23, 2023 0 min read
Jinsheng Ba received a "Research Achievement Award" from School of Computing!
Jan 5, 2023 0 min read
Our paper "Testing Database Engines via Query Plan Guidance" was accepted at ICSE'23!
Dec 9, 2022 0 min read