All Stories

  1. Multi-Grained Specifications for Distributed System Model Checking and Verification

    Article • March 2025, ACM (Association for Computing Machinery)

    Yu Huang

  2. SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration

    Article • April 2024, ACM (Association for Computing Machinery)

    Yu Huang

  3. Conflict-free Replicated Priority Queue: Design, Verification and Evaluation

    Article • August 2023, ACM (Association for Computing Machinery)

    Yu Huang

  4. Checking Causal Consistency of MongoDB

    Article • November 2020, ACM (Association for Computing Machinery)

    Yu Huang, Hongrong Ouyang

  5. Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers

    Article • July 2020, ACM (Association for Computing Machinery)

    Yu Huang

  6. Application-centric SSD Cache Allocation for Hadoop Applications

    Article • September 2017, ACM (Association for Computing Machinery)

    Yu Huang