Weiting Liu
Staff Site Reliability Engineer at Indeed
Joined Indeed in 2019 after graduating from Tsinghua University with a Master's degree in Software Engineering. I moved to Tokyo and have lived here ever since. I spend my time building reliable, large-scale systems and thinking deeply about distributed systems, event streaming, observability, and engineering culture.
Contact
Experience
Staff Site Reliability Engineer
Indeed · Apr 2024 – Present
Senior Site Reliability Engineer
Indeed · Jul 2022 – Apr 2024
Site Reliability Engineer II
Indeed · Jan 2022 – Jul 2022
Site Reliability Engineer
Indeed · Oct 2019 – Dec 2021
Education
Master's in Computer Software Engineering
Tsinghua University · 2016 – 2019
Bachelor's in Computer Software Engineering
Nanjing University · 2012 – 2016
Technical Focus
Kafka & Event Streaming
Durability guarantees (acks, ISR, min.insync.replicas), idempotent producers, exactly-once semantics via transactions, HW vs LSO, consumer group rebalancing, Kafka Streams state store management and restoration.
Distributed Systems
Fault tolerance, consistency tradeoffs, backpressure handling, and debugging production incidents in large-scale stream processing systems.
Observability & SRE
Designing alerting that catches what metrics miss — e.g. consumer lag against LSO rather than high watermark, silent state corruption from missing exception handlers.
Writing
Research
Teaching an SMT Solver to Think About Threads
The idea behind our Best Paper at PPoPP 2022 — and why treating your solver as a black box leaves performance on the table.
April 22, 2026·6 min read
Distributed Systems
Your Kafka Lag Monitor Is Lying to You
High watermarks feel safe. They aren't. Here's the quiet failure mode that will burn you at 3 a.m.
April 18, 2026·9 min read
Publications
Interference Relation-Guided SMT Solving for Multi-Threaded Program Verification
PPoPP 2022 — Best Paper Award