Lift: A low-overhead practical information flow tracking system for detecting security attacks F Qin, C Wang, Z Li, H Kim, Y Zhou, Y Wu 2006 39th Annual IEEE/ACM International Symposium on Microarchitecture …, 2006 | 590 | 2006 |
AVIO: detecting atomicity violations via access interleaving invariants S Lu, J Tucek, F Qin, Y Zhou ACM SIGOPS Operating Systems Review 40 (5), 37-48, 2006 | 537 | 2006 |
Rx: treating bugs as allergies---a safe method to survive software failures F Qin, J Tucek, J Sundaresan, Y Zhou Proceedings of the twentieth ACM symposium on Operating systems principles …, 2005 | 462 | 2005 |
Bugbench: Benchmarks for evaluating bug detection tools S Lu, Z Li, F Qin, L Tan, P Zhou, Y Zhou Workshop on the evaluation of software defect detection tools 5, 2005 | 318 | 2005 |
SafeMem: Exploiting ECC-memory for detecting memory leaks and memory corruption during production runs F Qin, S Lu, Y Zhou 11th International Symposium on High-Performance Computer Architecture, 291-302, 2005 | 249 | 2005 |
iWatcher: Efficient architectural support for software debugging P Zhou, F Qin, W Liu, Y Zhou, J Torrellas ACM SIGARCH Computer Architecture News 32 (2), 224, 2004 | 193 | 2004 |
AccMon: Automatically detecting memory-related bugs via program counter-based invariants P Zhou, W Liu, L Fei, S Lu, F Qin, Y Zhou, S Midkiff, J Torrellas Proceedings of the 37th annual IEEE/ACM International Symposium on …, 2004 | 171 | 2004 |
Understanding the robustness of {SSDs} under power fault M Zheng, J Tucek, F Qin, M Lillibridge 11th USENIX Conference on File and Storage Technologies (FAST 13), 271-284, 2013 | 132 | 2013 |
LeakChaser: helping programmers narrow down causes of memory leaks G Xu, MD Bond, F Qin, A Rountev Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011 | 108 | 2011 |
Torturing databases for fun and profit M Zheng, J Tucek, D Huang, F Qin, M Lillibridge, ES Yang, BW Zhao, ... 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2014 | 102 | 2014 |
Rx: Treating bugs as allergies—a safe method to survive software failures F Qin, J Tucek, Y Zhou, J Sundaresan ACM Transactions on Computer Systems (TOCS) 25 (3), 7, 2007 | 84 | 2007 |
GRace: a low-overhead mechanism for detecting data races in GPU programs M Zheng, VT Ravi, F Qin, G Agrawal ACM SIGPLAN Notices 46 (8), 135-146, 2011 | 81 | 2011 |
DMTracker: Finding bugs in large-scale parallel programs by detecting anomaly in data movements Q Gao, F Qin, DK Panda Proceedings of the 2007 ACM/IEEE conference on Supercomputing, 15, 2007 | 77 | 2007 |
A comprehensive study on real world concurrency bugs in Node. js J Wang, W Dou, Y Gao, C Gao, F Qin, K Yin, J Wei 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 73 | 2017 |
Lessons and actions: What we learned from 10k {SSD-Related} storage system failures E Xu, M Zheng, F Qin, Y Xu, J Wu 2019 USENIX Annual Technical Conference (USENIX ATC 19), 961-976, 2019 | 68 | 2019 |
2ndStrike: toward manifesting hidden concurrency typestate bugs Q Gao, W Zhang, Z Chen, M Zheng, F Qin Proceedings of the sixteenth international conference on Architectural …, 2011 | 66 | 2011 |
Automatic model generation from documentation for Java API functions J Zhai, J Huang, S Ma, X Zhang, L Tan, J Zhao, F Qin Proceedings of the 38th International Conference on Software Engineering …, 2016 | 62 | 2016 |
Efficient checkpointing of java software using context-sensitive capture and replay G Xu, A Rountev, Y Tang, F Qin Proceedings of the the 6th joint meeting of the European software …, 2007 | 53 | 2007 |
An empirical study on crash recovery bugs in large-scale distributed systems Y Gao, W Dou, F Qin, C Gao, D Wang, J Wei, R Huang, L Zhou, Y Wu Proceedings of the 2018 26th ACM joint meeting on european software …, 2018 | 52 | 2018 |
LeakSurvivor: towards safely tolerating memory leaks for garbage-collected languages Y Tang, Q Gao, F Qin USENIX 2008 Annual Technical Conference on Annual Technical Conference, 307-320, 2008 | 52 | 2008 |