Publications 2025

Zijing Yin, Si Liu, David Basin
Testing Graph Databases with Synthesized Queries
SIGMOD 2026
[PDF | DOI]

Hengfeng Wei, Jiang Xiao, Na Yang, Si Liu, Zijing Yin, Yuxing Chen, Anqun Pan
Boosting End-to-End Database Isolation Checking via Mini-Transactions 
ICDE 2025
[PDF | DOI]

Shabnam Ghasemirad, Si Liu, Christoph Sprenger, Luca Multazzu, David Basin
VerIso: Verifiable Isolation Guarantees for Database Transactions 
VLDB 2025
[PDF | DOI]

Shabnam Ghasemirad, Christoph Sprenger, Si Liu, Luca Multazzu, David Basin
Pushing the Limit: Verified Performance-Optimal Causally Consistent Database Transactions
TACAS 2025
[PDF | DOI]

Dhruv Nevatia, Si Liu, David Basin
Reachability Analysis of the Domain Name System
POPL 2025
[PDF | DOI]

Shi Peng, Si Liu, Dapeng Zhi, Peixin Wang, Chenyang Xu, Cheng Chen, Min Zhang
ATA: An Abstract-Train-Abstract Approach for Explanation-Friendly Deep Reinforcement Learning
Neural Networks
[PDF | DOI]