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 | 486 | 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 | 442 | 2005 |
Designing and Implementing Malicious Hardware. ST King, J Tucek, A Cozzie, C Grier, W Jiang, Y Zhou Leet 8, 1-8, 2008 | 385 | 2008 |
Triage: diagnosing production run failures at the user's site J Tucek, S Lu, C Huang, S Xanthos, Y Zhou ACM SIGOPS Operating Systems Review 41 (6), 131-144, 2007 | 186 | 2007 |
What consistency does your key-value store actually provide? E Anderson, X Li, MA Shah, J Tucek, JJ Wylie HotDep 10, 1-16, 2010 | 124 | 2010 |
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 | 106 | 2013 |
MediaBench II video: Expediting the next generation of video systems research JE Fritts, FW Steiling, JA Tucek, W Wolf Microprocessors and Microsystems 33 (4), 301-318, 2009 | 89 | 2009 |
Sweeper: A lightweight end-to-end system for defending against fast worms J Tucek, J Newsome, S Lu, C Huang, S Xanthos, D Brumley, Y Zhou, ... Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer …, 2007 | 85 | 2007 |
Efficiency matters! E Anderson, J Tucek ACM SIGOPS Operating Systems Review 44 (1), 40-45, 2010 | 84 | 2010 |
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-es, 2007 | 82 | 2007 |
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 …, 2014 | 71 | 2014 |
Efficient online validation with delta execution J Tucek, W Xiong, Y Zhou Proceedings of the 14th international conference on Architectural support …, 2009 | 58 | 2009 |
In-memory performance for big data G Graefe, H Volos, H Kimura, H Kuno, J Tucek, M Lillibridge, A Veitch | 56 | 2014 |
Disks Are Like Snowflakes: No Two Are Alike. E Krevat, J Tucek, GR Ganger HotOS, 2011 | 56 | 2011 |
Mediabench II video: expediting the next generation of video systems research JE Fritts, FW Steiling, JA Tucek Embedded Processors for Multimedia and Communications II 5683, 79-93, 2005 | 54 | 2005 |
Multi-geography cloud storage EA Anderson, JJ Wylie, JA Tucek US Patent App. 13/460,806, 2013 | 43 | 2013 |
Efficient eventual consistency in Pahoehoe, an erasure-coded key-blob archive E Anderson, X Li, A Merchant, MA Shah, K Smathers, J Tucek, M Uysal, ... 2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010 | 28 | 2010 |
Avio: Detecting atomicity violations via access-interleaving invariants S Lu, J Tucek, F Qin, Y Zhou IEEE micro 27 (1), 26-35, 2007 | 28 | 2007 |
Prioritizing recovery in a storage system implementing raid JA Tucek, EA Anderson, JJ Wylie US Patent 9,009,524, 2015 | 24 | 2015 |
Applying performance models to understand data-intensive computing efficiency E Krevat, T Shiran, E Anderson, J Tucek, JJ Wylie, GR Ganger CARNEGIE-MELLON UNIV PITTSBURGH PA PARALLEL DATA LABORATORY, 2010 | 22 | 2010 |