• Assistant Professor, Computer Science & Engineering
Google Scholar Profile
Si Liu

Educational Background

  • Ph.D., Computer Science, University of Illinois at Urbana-Champaign — 2019
  • M.S., Computer Science, East China Normal University — 2012
  • B.S., Software Engineering, East China Normal University — 2009

Research Interests

    • Formal methods
    • Databases
    • Distributed systems
    • Security

Awards & Honors

  • Career Seed Award, ETH Zurich - 2024

Selected Publications

  • Yin, Z., Liu, S., Basin, D.A. 2026. “Testing graph databases with synthesized queries.” Proc. ACM Manag. Data 3(4), 268.
  • Ghasemirad, S., Liu, S., Sprenger, C., Multazzu, L., Basin, D.A. 2025. “VerIso: Verifiable isolation guarantees for database transactions.” Proc. VLDB Endow. 18(5): 1362-1375.
  • Nevatia, D., Liu, S., Basin, D.A. 2025. “Reachability analysis of the domain name system.” Proc. ACM Program. Lang. 9(POPL): 1840-1870.
  • Liu, S., Multazzu, L., Wei, H., Basin, D.A. 2024. “NOC-NOC: Towards performance-optimal distributed transactions.” Proc. ACM Manag. Data 2(1): 9:1-9:25.
  • Liu, S. Gu, L., Wei, H., Basin, D.A. 2024. “Plume: Efficient and complete black-box checking of weak isolation levels.” Proc. ACM Program. Lang. 8(OOPSLA2): 876-904.
  • Huang, K., Liu, S., Chen, Z., Wei, H., Basin, D.A., Li, H., Pan, A. 2023. “Efficient black-box checking of snapshot isolation in databases.” Proc. VLDB Endow. 16(6): 1264-1276.
  • Jiang, Z., Liu, S., Rigger, M., Su, Z. 2023. “Detecting transactional bugs in database engines via graph-based oracle construction. OSDI 2023: 397-417.
  • Liu, S., Duan, H., Heimes, L., Bearzi, M., Vieli, J., Basin, D.A., Perrig, A. 2023. “A formal framework for end-to-end DNS resolution.” SIGCOMM 2023: 932-949.
  • Liu, S., Meseguer, J., Olveczky, P. C., Zhang, M., Basin, D.A. 2022. “Bridging the semantic gap between qualitative and quantitative models of distributed systems.” Proc. ACM Program. Lang. 6(OOPSLA2): 315-344.
Google Scholar Profile