Joseph Tucek
Joseph Tucek
Amazon AWS
Verified email at amazon.com
Title
Cited by
Cited by
Year
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
4692006
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
4222005
Designing and Implementing Malicious Hardware.
ST King, J Tucek, A Cozzie, C Grier, W Jiang, Y Zhou
Leet 8, 1-8, 2008
3662008
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
1752007
What consistency does your key-value store actually provide?
E Anderson, X Li, MA Shah, J Tucek, JJ Wylie
HotDep 10, 1-16, 2010
1202010
Understanding the robustness of SSDs under power fault
M Zheng, J Tucek, F Qin, M Lillibridge
Presented as part of the 11th {USENIX} Conference on File and Storage …, 2013
952013
Efficiency matters!
E Anderson, J Tucek
ACM SIGOPS Operating Systems Review 44 (1), 40-45, 2010
822010
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
812007
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
802009
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
782007
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
652014
Efficient online validation with delta execution
J Tucek, W Xiong, Y Zhou
Proceedings of the 14th international conference on Architectural support …, 2009
572009
In-memory performance for big data
G Graefe, H Volos, H Kimura, H Kuno, J Tucek, M Lillibridge, A Veitch
562014
Disks Are Like Snowflakes: No Two Are Alike.
E Krevat, J Tucek, GR Ganger
HotOS, 2011
532011
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
532005
Multi-geography cloud storage
EA Anderson, JJ Wylie, JA Tucek
US Patent App. 13/460,806, 2013
422013
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
262010
Avio: Detecting atomicity violations via access-interleaving invariants
S Lu, J Tucek, F Qin, Y Zhou
IEEE micro 27 (1), 26-35, 2007
262007
Prioritizing recovery in a storage system implementing raid
JA Tucek, EA Anderson, JJ Wylie
US Patent 9,009,524, 2015
242015
Atomicity violation detection using access interleaving invariants
Y Zhou, S Lu, JA Tucek
US Patent 8,533,681, 2013
212013
The system can't perform the operation now. Try again later.
Articles 1–20