Yifei Liu

Ph.D. Candidate of Computer Science

Stony Brook University


I am Yifei Liu, a third-year Ph.D. candidate in Computer Science at Stony Brook University. I am part of the File systems and Storage Lab (FSL) advised by Prof. Erez Zadok. My research interests include file/storage systems and operating systems. Also, I am excited and motivated by the prospect of applying formal methods, machine learning, and heuristic algorithms to optimizing and understanding computer systems.

Prior to Stony Brook, I was a Master’s student and Research Assistant at Wuhan National Laboratory for Optoelectronics (Information Storage Division) advised by Prof. Ke Zhou in Huazhong University of Science and Technology, where I worked on performance improvement for content-based semantic queries in storage systems.


  • File/Storage Systems
  • Operating Systems
  • Machine Learning for Systems


  • Ph.D. in Computer Science, 2019 - Current

    Stony Brook University, New York

  • M.Sc. in Computer System Architecture, 2016 - 2019

    Huazhong University of Science and Technology

  • B.Eng. in Computer Science and Technology, 2012 - 2016

    Huazhong Agricultural University



MCFS (Model Checking File System)

A model checking framework for checking and verifying file systems

Multi-tier Caching

Seeking Optimal Multi-Tier Caching Configurations


A system middleware for enabling accurate and efficient content-based semantic queries in storage systems through deep learning hash

Image Dark Data Assessment

Graph-based Semantic Hash Ranking for Assessing Image “Dark Data”

Disk Failure Prediction

Predicting disk failures in Tencent Cloud via Machine Learning (Internship at Tencent)

Bayesian Network Reasoning

Web Service Recommendation Using Bayesian Network Reasoning

Line Segment Detection for Rapeseed Plant Images

Automatic Measurement for Character Parameters of the Rapeseed Plant via Image Line Detection


Quickly discover relevant content by filtering publications.

Model-Checking Support for File System Development

A Framework for Image Dark Data Assessment

Analysis and Management to Hash-Based Graph and Rank

Research of Web Service Recommendation Using Bayesian Network Reasoning

A new line detection algorithm - Automatic measurement of character parameter of rapeseed plant by LSD

Selected Awards

Best Paper Runner-Up

Outstanding Graduate

Outstanding Graduate

Finalist, Interdisciplinary Contest in Modeling

Winning rate: 52/9773 ~0.53%, See this Report (in Chinese) about this award on Changjiang Daily

National First Prize, National Postgraduate Mathematic Contest in Modeling

Won best award of this contest, winning rate: 120/4900 ~2.4%

National First Prize, Contemporary Undergraduate Mathematical Contest in Modeling

Won best award of this contest, winning rate: 293/22233 ~1.3%


To know how to criticize is good, to know how to create is better. РHenri Poincaré



Web Analytics Made Easy - StatCounter