Improving the Reliability of MPI Libraries via Message Flow Checking
Zhezhe Chen, Qi Gao, Wenbin Zhang, and Feng Qin
Accepted by IEEE Transactions on Parallel and Distributed Systems. 2012
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. Mar. 2011 (21% acceptance rate, 32/152)
PPoPP
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 ACM SIGPLAN Annual Symposium on Principles and Practice
of Parallel Programming. Feb. 2011 (16% acceptance rate for full-length
papers, 26/165)
Rx: Treating Bugs as Allergies -- A Safe Method to Survive
Software Failures.
Feng Qin, Joseph Tucek, Yuanyuan Zhou, and Jagadeesan Sundaresan
In ACM Transactions on Computer Systems, Vol. 25, No. 3, Aug. 2007
Micro's Top Picks
AVIO: Detecting Atomicity Violations
via Access-Interleaving Invariants
Shan Lu, Joseph Tucek, Feng Qin, and Yuanyuan Zhou.
In the IEEE Micro Special Issue:
Top Picks from Computer Architecture Conferences, Jan.-Feb. 2007.
(14% acceptance rate, 11/76)
AVIO: Detecting Atomicity Violations via Access-Interleaving
Invariants
Shan Lu, Joseph Tucek, Feng Qin, and Yuanyuan Zhou
In Proceedings of the 12th International Conference on
Architecture Support for Programming Languages and Operating Systems,
Oct. 2006. (22% acceptance rate, 38/160)
Efficient and Flexible Architectural Support for Dynamic
Monitoring [BibTex]
Yuanyuan Zhou, Pin Zhou, Feng Qin, Wei Liu, and Josep Torrellas ACM Transactions on Architecture and Code Optimization, Vol. 2, No.
1, Mar. 2005
An OSGI
CredentialManager Service
Jim Basney, Shiva Shankar Chetan, Feng Qin, Sumin Song, Xiao Tu, and Marty
Humphrey
In Proceedings of the Workshop on Grid Security Practice and Experience,
Jul. 2004
IFIP
Web Application Development: An Object-Oriented Approach
Bo Zhang, Jing Li, and Feng Qin
In Proceedings of Conference on Software: Theory and Practice (16th IFIP
World Computer Congress), Aug. 2000