Sotabase

Career

· Robotics Perception Intern, NASA Jet Propulsion Laboratory2025–2025
· Master of Science in Robotics, Carnegie Mellon University2023–
· Graduate Student, The AirLab at Carnegie Mellon University2023–
· Alumni and Academic Affairs Committee Member, UCI ICS Student Council (ICSSC)2020–2022
· President, Artificial Intelligence at UCI (AI@UCI)2019–2023
· Photo Intern, UCI Yearbook2019–2020
· Bachelor of Science in Computer Science, University of California, Irvine2019–2023

Publications (15)

USENIX Workshop on Hot Topics in Storage and File Systems · 2021
6
cited
Metis: File System Model Checking via Versatile Input and State Exploration
USENIX Conference on File and Storage Technologies · 2024
4
cited
IEEE/ACM International Symposium on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems · 2023
3
cited
USENIX Workshop on Hot Topics in Storage and File Systems · 2023
3
cited
Annual Haifa Experimental Systems Conference · 2025
Simulation (San Diego, Calif.) · 2019
The Case for Model Checking Emerging File Systems
Sotabase
Yifei Liu | Researcher Profile | Sotabase | Sotabase