Mai Zheng
1290 Frenger Mall, Science Hall (SH) 150
Las Cruces, NM 88003
Phone: (575) 646-2464
Email: zheng AT nmsu DOT edu
I'm an assistant professor in the CS department at NMSU. I received my Ph.D. from The Ohio State University. [Complete bio ...]

My research interests are in the broad areas of computer systems. I'm particularly interested in anything related to data storage (e.g., non-volatile memories, file systems, big data systems, data-intensive computing). I'm leading the Data Storage Lab@NMSU, where we play with the latest storage technologies and strive to advance the performance, reliability, security, etc. for data, for people.

What's New

  • I'm looking for talented students!
  • [04/2018] I'll serve as the Proceedings Chair of HPDC'18!
  • [03/2018] Our work on high-performance file systems is accepted by ICS'18! Big congrats to Jinrui et al.!
  • [12/2017] Our work on file system checkers is accepted by FAST'18! Big congrats to Om et al.! [Best Paper Nominee@FAST'18]
  • [06/2017] I'll serve on the TPC of ACM/IEEE UCC'17. Please consider submitting your exciting work!
  • [04/2017] One paper accepted by HotStorage'17! Congrats to Om et al.!
  • [03/2017] I'll serve on the TPC of IEEE HiPC'17. Please consider submitting your exciting work on HPC!
  • [01/2017] One report accepted by FAST'17-WiP [Media]! Congrats to Om et al.!
  • [01/2017] One poster accepted by NVMW'17! Congrats to Simeng et al.!
  • [09/2016] One paper accepted by SC'16 PDSW-DISCS! Congrats to Jinrui et al.!
  • [09/2016] Our work on solid-state drives is accepted by ACM TOCS!
  • [Old "news" ...]

Selected Publications

[Complete list ...] (underlined are my students)
  • PFault: A General Framework for Analyzing the Reliability of High-Performance Parallel File Systems
    Jinrui Cao, Om Rameshwar Gatla, Mai Zheng, Dong Dai, Vidya Eswarappa, Yan Mu, and Yong Chen
    To appear in the Proceedings of the 32nd ACM/SIGARCH International Conference on Supercomputing (ICS), 2018
    [ Paper | BibTeX | Slides | Software ]
  • Towards Robust File System Checkers [Best Paper Nominee]
    Om Rameshwar Gatla, Muhammad Hameed, Mai Zheng, Viacheslav Dubeyko, Adam Manzanares, Filip Blagojevic, Cyril Guyot, and Robert Mateescu
    Proceedings of the 16th USENIX Conference on File and Storage Technologies (FAST), 2018
    [ Paper | BibTeX | Slides | Software ]
  • Understanding the Fault Resilience of File System Checkers
    Om Rameshwar Gatla and Mai Zheng
    Proceedings of the 9th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage), 2017
    [ Paper | BibTeX | Slides ]
  • A Generic Framework for Testing Parallel File Systems
    Jinrui Cao, Simeng Wang, Dong Dai, Mai Zheng, and Yong Chen
    Proceedings of the 1st ACM/SIGHPC Joint International Workshop on Parallel Data Storage and Data Intensive Scalable Computing Systems, held in conjunction with ACM/IEEE Supercomputing (SC'16 PDSW-DISCS), 2016
    [ Paper | BibTeX | Slides ] [ HPCC Power Outages ]
  • Reliability Analysis of SSDs under Power Fault
    Mai Zheng, Joseph Tucek, Feng Qin, Mark Lillibridge, Bill W Zhao, and Elizabeth S Yang
    ACM Transactions on Computer Systems (TOCS), Volume 34 Issue 4, 2016
    [ Paper | BibTeX ]
  • Torturing Databases for Fun and Profit
    Mai Zheng, Joseph Tucek, Dachuan Huang, Feng Qin, Mark Lillibridge, Elizabeth S Yang, Bill W Zhao, and Shashank Singh
    Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2014
    [ Paper | BibTeX | Slides | Video ]
  • Understanding the Robustness of SSDs under Power Fault
    Mai Zheng, Joseph Tucek, Feng Qin, and Mark Lillibridge
    Proceedings of the 11th USENIX Conference on File and Storage Technologies (FAST), 2013
    [ Paper | BibTeX | Slides | Video ]
  • GRace: A Low-Overhead Mechanism for Detecting Data Races in GPU Programs
    Mai Zheng, Vignesh T. Ravi, Feng Qin, and Gagan Agrawal
    Proceedings of the 16th ACM/SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP) , 2011
    [ Paper | BibTeX ]
  • 2ndStrike: Towards Manifesting Hidden Concurrency Typestate Bugs
    Qi Gao, Wenbin Zhang, Zhezhe Chen, Mai Zheng, and Feng Qin
    Proceedings of the 16th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2011
    [ Paper | BibTeX ]

Media Coverage


  • CS479/579 Special Topics: Modern Storage Systems: Flash, Cloud, & Beyond [Spring 2016]
  • CS479/579 Special Topics: Reliable Storage Systems [Fall 2017]
  • CS474 Operating Systems I [Fall 2015, Fall 2016] [ Best free OS textbook: OSTEP | MIT xv6 ]
  • CS574 Operating Systems II [Spring 2017, Spring 2018]
  • CS473 Computer Architecture I [Spring 2018]
  • CS573 Computer Architecture II [Fall 2017]
  • CS491/521 Parallel Programming [Fall 2016]

Prospective Students

I'm always looking for talented students who are curious about how computer systems work and are interested in improving the design, implementation, evaluation, and application of various computer systems. Please browse through my recent publications and let me know if anything interests you. If you have experience in building systems, that's great! Let's talk and see if we have mutual interests. If you come from a different background, that's OK, too. As a junior faculty member, I'm more than happy to pass my hands-on experience to you and help you grow and succeed, as long as you are hardworking, responsible, determined, and have the desire to become an expert in a challenging and high-impact area in the near future. [more ...]

Professional Activities


We thank the following institutions for their generous funding support and/or donation. Any opinions, findings, and conclusions or recommendations expressed in our work are those of the author(s) and do not necessarily reflect the views of the institutions:


Mai Zheng
Assistant Professor

/* Last update: Apr, 2018 */