Si Liu
an optimist chasing the light
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)
- POPL 2025
- OOPSLA 2024Plume: Efficient and Complete Black-box Checking of Weak Isolation LevelsProc. ACM Program. Lang., 2024
- SIGMOD 2024
- VLDB 2023
- OSDI 2023Detecting Transactional Bugs in Database Engines via Graph-Based Oracle ConstructionIn 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23), 2023
- SIGCOMM 2023A Formal Framework for End-to-End DNS ResolutionIn Proceedings of the ACM SIGCOMM 2023 Conference, New York, NY, USA, 2023
- OOPSLA 2022Bridging the semantic gap between qualitative and quantitative models of distributed systemsProc. ACM Program. Lang., Oct 2022
- TOSEM 2022All in One: Design, Verification, and Implementation of SNOW-optimal Read Atomic TransactionsACM Trans. Softw. Eng. Methodol., Mar 2022