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, GPU memory, 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!
  • [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

  • 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]
  • 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: Jun, 2017 */