Mai Zheng

Ph.D. Student
Department of Computer Science and Engineering
The Ohio State University

Office: Bolz Hall 109 
E-mail: zhengm  AT  cse  DOT  ohio-state  DOT  edu 
URL: http://www.cse.ohio-state.edu/~zhengm/  

Mailing Address: 
395 Dreese Laboratories       
2015 Neil Avenue, Columbus, OH 43210-1277

About Me

I am a Ph.D. student in the Department of Computer Science and Engineering at The Ohio State University. My advisor is Dr. Feng Qin.

I received my M.E. degree in Circuits and Systems at University of Science and Technology of China in 2009, and B.S. degree in Electronic Engineering at Qingdao University in 2006, respectively.

Research Interests

My interests are in the broad area of Computer Systems, including Operating Systems, High-Performance Computing Systems, Software Reliability, etc. My current research focus is on Software Reliability in HPC systems. Specifically, my work is to design new approaches and develop practical tools for detecting bugs and improving the performance of GPU programs.

Before joined OSU, I have worked on some projects related to Image Processing and FPGA [1].

Recent Publications

GRace: A Low-Overhead Mechanism for Detecting Data Races in GPU Programs
Mai Zheng, Vignesh T. Ravi, Feng Qin, and Gagan Agrawal
In Proceedings of the 16th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP), 2011 (16% acceptance rate for full-length papers, 26/165)

2ndStrike: Towards Manifesting Hidden Concurrency Typestate Bugs 
Qi Gao, Wenbin Zhang, Zhezhe Chen, Mai Zheng, and Feng Qin
In Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2011 (21% acceptance rate, 32/152)

Technical Reports

GMProf: A Low-Overhead, Fine-Grained Profiling Approach for GPU programs
Mai Zheng, Vignesh T. Ravi, Wenjing Ma, Feng Qin, and Gagan Agrawal
OSU-CISRC-5/12-TR11, The Ohio State University, 2012

Teaching

TA for CSE756: Compiler Design and Implementation, Spring 2012
TA for CSE755: Programming Languages, Spring 2012
TA for CSE621: Introducton to High-Performance Computing, Autumn 2011
TA for CSE755: Programming Languages, Spring 2011

Course Work

CSE621: Introducton to High-Performance Computing	CSE662: Operating Systems Laboratory
CSE671: Introduction to Database Systems II	CSE725: Computability and Unsolvability
CSE755: Programming Languages	CSE756: Compiler Design and Implementation
CSE760: Advanced Operating Systems	CSE763: Introduction to Distributed Systems
CSE775: Computer Architecture	CSE780: Analysis of Algorithms
CSE788.06: Software Dependability and Security	CSE788.07: Dynamic Program Analysis for Reliable Concurrent Software
CSE788.12: Compile-Time Program Analysis and Transformations	CSE888.06: Seminar on System Research and Software Quality Assurance
CSE888.14: Seminar on Computer Graphics

Reference

[1] Projects & Publications @USTC

LastUpdated: 05/18/2012