Publications 2025

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]