Si Liu

an optimist chasing the light

selfie.jpg

Information Security Group

Dept. of Computer Science

ETH Zurich

[CV]

I’m on the job market! I’ve fulfilled all the goals I set for myself before coming to ETH Zurich, and along the way, I’ve come to truly understand the wisdom in the parting words of Prof. José Meseguer: ”Discover what it means to work alongside some of the brightest minds in the world.” Now, a new chapter awaits. I’m eager to see where fate will lead me next. I believe everything unfolds in the best possible way!

I’m a Senior Researcher (Deutsch: Oberassistent) in the Information Security Group at ETH Zurich, led by Prof. David Basin, where I received the Career Seed Award. I also previously worked as a postdoc in the same group.

My research lies at the intersection of formal methods (FM), software engineering (SE), distributed systems, and security, with a particular emphasis on leveraging FM & SE techniques to build reliable, secure, and performant distributed systems. My current work focuses on verifying and validating the designs & deployments of databases and DNS, addressing both qualitative (e.g., reliability and security) & quantitative (e.g., availability and scalability) aspects. My interests also include verifying AI-powered systems.

I completed my PhD in Computer Science from the University of Illinois Urbana-Champaign, advised by Prof. José Meseguer, where I worked on design, verification and automatic implementation of correct-by-construction distributed database systems. Before that, I obtained an MS in Computer Science and a BE in Software Engineering, both from East China Normal University.

news

Nov 08, 2024 Our paper “Reachability Analysis of the Domain Name System” was accepted at POPL 2025!
Oct 23, 2024 I was presenting our Plume work at OOPSLA 2024. Pasadena, bathed in sunshine!
Oct 01, 2024 We have been awarded a grant from the Swiss National Science Foundation (SNSF) for the project “Formal Verification of Isolation Guarantees in Database Systems.” Congrats, Christoph! I am excited to contribute as an official project partner!
Aug 19, 2024 Our paper “Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels” was accepted at OOPSLA 2024!
Jul 01, 2024 I was honored to receive the Career Seed Award from ETH Zurich, along with research funding!
Jun 13, 2024 I was presenting our work “NOC-NOC: Towards Performance-optimal Distributed Transactions” at SIGMOD 2024, setting foot on the mysterious continent of South America for the first time!
May 28, 2024 Our demo paper “IsoVista: Black-box Checking Database Isolation Guarantees” was accepted at VLDB 2024.
Feb 12, 2024 The Master thesis “NOCS-Optimal Distributed Transactions and Beyond” supervised by me was honored with the ETH Medal (top 2.5%) and a financial sum. Congrats to Luca Multazzu!
Nov 20, 2023 Our paper “NOC-NOC: Towards Performance-optimal Distributed Transactions” was accepted at SIGMOD 2024!

selected publications (all)

  1. POPL 2025
    Reachability Analysis of the Domain Name System
    Dhruv NevatiaSi Liu, and David Basin
    Proc. ACM Program. Lang., 2025
  2. OOPSLA 2024
    Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels
    Si Liu, Long Gu, Hengfeng Wei, and David Basin
    Proc. ACM Program. Lang., 2024
  3. SIGMOD 2024
    NOC-NOC: Towards Performance-optimal Distributed Transactions
    Si Liu, Luca Multazzu, Hengfeng Wei, and David Basin
    Proc. ACM Manag. Data, 2024
  4. VLDB 2023
    Efficient Black-box Checking of Snapshot Isolation in Databases
    Si Liu*, Kaile Huang*, Zhenge Chen, Hengfeng Wei, David Basin, Haixiang Li, and Anqun Pan
    Proc. VLDB Endow., 2023
  5. OSDI 2023
    Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction
    Zu-Ming Jiang, Si Liu, Manuel Rigger, and Zhendong Su
    In 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23), 2023
  6. SIGCOMM 2023
    A Formal Framework for End-to-End DNS Resolution
    Si Liu, Huayi Duan, Lukas Heimes, Marco Bearzi, Jodok Vieli, David Basin, and Adrian Perrig
    In Proceedings of the ACM SIGCOMM 2023 Conference, New York, NY, USA, 2023
  7. OOPSLA 2022
    Bridging the semantic gap between qualitative and quantitative models of distributed systems
    Si Liu, Jose Meseguer, Peter Csaba Ölveczky, Min Zhang, and David Basin
    Proc. ACM Program. Lang., Oct 2022
  8. TOSEM 2022
    All in One: Design, Verification, and Implementation of SNOW-optimal Read Atomic Transactions
    Si Liu
    ACM Trans. Softw. Eng. Methodol., Mar 2022