SA4U: Practical Static Analysis for Unit Type Error Detection
Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, and Xiangyu Zhang
In Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, Oct. 2022
Avis: In-Situ Model Checking for Unmanned Aerial Vehicles
Max Taylor, Haicheng Chen, Feng Qin, and Christopher Stewart
In Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun. 2021
ICUAS
A Study on Software Bugs in Unmanned Aerial Systems
Max Taylor, Jayson Boubin, Christopher Stewart, Feng Qin, and Haicheng Chen
In Proceedings of the 2021 International Conference on Unmanned Aircraft Systems, Jun. 2021
Understanding SSD Reliability in Large-Scale Cloud Systems
Erci Xu, Mai Zheng, Feng Qin, Yikang Xu, and Jiesheng Wu
In Proceedings of the 3rd ACM/IEEE Joint International
Workshop on Parallel Data Storage and Data Intensive Scalable
Computing Systems at ACM/IEEE Supercomputing (SC), Nov. 2018
An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Yu Gao, Wensheng Dou, Feng Qin, Chushu Gao, Dong Wang, Jun Wei, Ruirui Huang, Li Zhou, Yongming Wu
In Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Nov. 2018
Reliability Analysis of SSDs Under Power Fault
Mai Zheng, Joseph Tucek, Feng Qin, Mark Lillibridge, Bill W. Zhao, and Elizabeth S. Yang
In ACM Transactions on Computer Systems, Vol. 34, No. 4, Jan. 2017
Crash Consistency Validation Made Easy
Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma, and Jian Lu
In Proceedings of the 24th International Symposium on the Foundations of Software Engineering, Nov. 2016
Debugging High-Performance Computing Applications at Massive Scales
Ignacio Laguna, Dong H. Ahn, Bronis R. de Supinski, Todd Gamblin, Gregory L. Lee, Martin Schulz, Saurabh Bagchi, Milind Kulkarni, Bowen Zhou, Zhezhe Chen, and Feng Qin
In Communications of the ACM, Vol. 58, No. 9, Sep. 2015
MC-Checker: Detecting Memory Consistency Errors in MPI One-Sided Applications
Zhezhe Chen, James Dinan, Zhen Tang, Pavan Balaji, Hua Zhong, Jun Wei, Tao Huang, and Feng Qin
In Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, Nov. 2014 (21% acceptance rate)
OSDI
Torturing Databases for Fun and Profit
Mai Zheng, Joseph Tucek, Dachuan Huang, Feng Qin, Mark Lillibridge, Elizabeth S. Yang, Bill W. Zhao, and Shashank Singh
In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, Oct. 2014 (18% acceptance rate)
TPDS
GMRace: Detecting Data Races in GPU Programs via a Low-Overhead Scheme
Mai Zheng, Vignesh T. Ravi, Feng Qin, and Gagan Agrawal
In IEEE Transactions on Parallel and Distributed Systems. Vol. 25, No. 1, Jan. 2014
Understanding the Robustness of SSDs under Power Fault
Mai Zheng, Joseph Tucek, Feng Qin, and Mark Lillibridge
In Proceedings of the 11th USENIX Conference on File and Storage Technologies. Feb. 2013 (19% acceptance rate)
TPDS
Improving the Reliability of MPI Libraries via Message Flow Checking
Zhezhe Chen, Qi Gao, Wenbin Zhang, and Feng Qin
In IEEE Transactions on Parallel and Distributed Systems. Vol. 24, No. 3, Mar. 2013
Modeling Software Execution Environment
Dawei Qi, William Sumner, Feng Qin, Mai Zheng, Xiangyu Zhang, and Abhik Roychoudhury
In Proceedings of the 19th Working Conference on Reverse Engineering. Oct. 2012 (26% acceptance rate)
SecureComm
JSGuard: Shellcode Detection in JavaScript
Boxuan Gu, Wenbin Zhang, Xiaole Bai, Adam Champion, Feng Qin, and Dong Xuan
In Proceedings of the 8th International Conference on Security and Privacy in Communication Networks. Sep. 2012 (30% acceptance rate)
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