Wei Zhang's Home Page

I'm a third year graduate student in computer sciences department at UW-Madison.

My Office is at 7372.

My Email: wzh[at]cs[dot]wisc[dot]edu

Education

• 2008.9 ~ present       Phd Candidate 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'm a research assistant of Prof. Shan Lu . I am interested in parallel programming and reliability in concurrent softwares.

Publication at Wisconsin

• 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 ErrorsASPLOS2011

• 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