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 memory, file systems, cloud storage, mobile storage, data-intensive computing). I'm starting the Data Storage Lab@NMSU, where we play with the latest storage technologies and strive to advance the reliability and performance for data, for people.

What's New

  • I'm looking for talented students!
  • [12/2017] One paper accepted to FAST'18! Big congrats to Om et al.!
  • [08/2017] Two papers on smartphone energy accepted to IGSC'17!
  • [06/2017] I'll serve on the PC of ACM/IEEE UCC'17. Please consider submitting your exciting work!
  • [04/2017] Our work on file system checkers has been accepted to HotStorage'17! Congrats to Om et al.!
  • [03/2017] I'll serve on the PC of IEEE HiPC'17. Please consider submitting your exciting work on HPC!
  • [01/2017] One report accepted to FAST'17-WiP [Media]! Congrats to Om et al.!
  • [01/2017] One poster accepted to NVMW'17! Congrats to Simeng et al.!
  • [09/2016] Our work on parallel file systems has been accepted to SC'16 PDSW-DISCS! Congrats to Jinrui et al.!
  • [09/2016] Our work on solid-state drives has been accepted to ACM TOCS!
  • [Old "news" ...]

Selected Publications

[Complete list ...] (underlined are my students)
  • Towards Robust File System Checkers
    Om Rameshwar Gatla, Muhammad Hameed, Mai Zheng, Viacheslav Dubeyko, Adam Manzanares, Filip Blagojevic, Cyril Guyot, and Robert Mateescu
    To appear in the Proceedings of the 16th USENIX Conference on File and Storage Technologies (FAST), 2018
    [ Paper | BibTeX | Slides | Video | 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 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


Teaching

  • 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]
  • 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. Feel free to browse through my 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 ...]



Acknowledgements

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:


Miscellaneous

Mai Zheng
Assistant Professor


/* Last update: Dec, 2017 */