Wenbin Zhang

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Automated Detection

Message Transmission

Parallelization Strategy

Top Venues

IEEE Trans. Parallel Distributed Syst.

Publications

Zhezhe Chen, Qi Gao, Wenbin Zhang, Feng Qin
Improving the Reliability of MPI Libraries via Message Flow Checking. IEEE Trans. Parallel Distributed Syst. 24 (3) (2013)
Boxuan Gu, Wenbin Zhang, Xiaole Bai, Adam C. Champion, Feng Qin, Dong Xuan
JSGuard: Shellcode Detection in JavaScript. SecureComm (2012)
Qi Gao, Wenbin Zhang, Zhezhe Chen, Mai Zheng, Feng Qin
2ndStrike: toward manifesting hidden concurrency typestate bugs. ASPLOS (2011)
Zhezhe Chen, Qi Gao, Wenbin Zhang, Feng Qin
FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking. SC (2010)
Qi Gao, Wenbin Zhang, Yan Tang, Feng Qin
First-aid: surviving and preventing memory management bugs during production runs. EuroSys (2009)