Wei Zhang's Home Page

I graduated in July, 2013 and moved to IBM Research. My new home page is here.

Education

• 2008.9 ~ 2013.7       Phd Computer Sciences Department, University of Wisconsin-Madison, USA
• 2005.9 ~ 2008.6        Master of Science Department of Informatics and Mathematical Modelling, Technical University of Denmark, Denmark
• 2001.9 ~ 2005.7        Bachelor of Science Department of Computer Science and Technology, Beijing University of Technology, China

Research

I was a research assistant of Prof. Shan Lu . I am interested in parallel programming and reliability in concurrent software.

Publication at Wisconsin

• Wei Zhang Improving Concurrent Software Reliability Via an Effect-oriented Approach(Phd thesis)

• Dongdong Deng, Wei Zhang, and Shan Lu. Efficient Concurrency-Bug Detection Across Inputs(OOPSLA2013)

• Wei Zhang, Marc de Kruijf, Ang Li, Shan Lu, and Karthikeyan Sankaralingam. ConAir: Featherweight Concurrency Bug Recovery Via Single-Threaded Idempotent Execution (ASPLOS2013)

• Guoliang Jin, Wei Zhang, Dongdong Deng, Ben Liblit, and Shan Lu. Automated Concurrency-Bug Fixing (OSDI2012)

• Dongdong Deng, Wei Zhang, Borui Wang, Peisen Zhao, and Shan Lu. Understanding the Interleaving-Space Overlap across Inputs and Software Versions (HotPar2012)

• Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, and Thomas Reps. ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach (TOSEM)

• Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, and Ben Liblit. Automated Atomicity-Violation Fixing (PLDI2011)

• Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas Reps. ConSeq: Detecting Concurrency Bugs through Sequential Errors (ASPLOS2011)

• Wei Zhang, Chong Sun, Shan Lu. ConMem: Detecting Severe Concurrency Bugs through an Effect-Oriented Approach (ASPLOS2010)

Publication prior to coming to Wisconsin

• Wei Zhang Parallel Multi-Objective Branch and Bound Master thesis at IMM, DTU, IMM-M.Sc-2008-39

• Wei Zhang Design of Automobile CAN bus controller Bachelor thesis at BJUT, later accepted by Journal of Control and Automation, China

Resume