2009 |
11 | EE | Joseph Tucek,
Weiwei Xiong,
Yuanyuan Zhou:
Efficient online validation with delta execution.
ASPLOS 2009: 193-204 |
2008 |
10 | EE | Samuel T. King,
Joseph Tucek,
Anthony Cozzie,
Chris Grier,
Weihang Jiang,
Yuanyuan Zhou:
Designing and Implementing Malicious Hardware.
LEET 2008 |
2007 |
9 | EE | Joseph Tucek,
James Newsome,
Shan Lu,
Chengdu Huang,
Spiros Xanthos,
David Brumley,
Yuanyuan Zhou,
Dawn Xiaodong Song:
Sweeper: a lightweight end-to-end system for defending against fast worms.
EuroSys 2007: 115-128 |
8 | EE | Joseph Tucek,
Shan Lu,
Chengdu Huang,
Spiros Xanthos,
Yuanyuan Zhou:
Triage: diagnosing production run failures at the user's site.
SOSP 2007: 131-144 |
7 | EE | Feng Qin,
Joseph Tucek,
Yuanyuan Zhou,
Jagadeesan Sundaresan:
Rx: Treating bugs as allergies—a safe method to survive software failures.
ACM Trans. Comput. Syst. 25(3): (2007) |
6 | EE | Shan Lu,
Joseph Tucek,
Feng Qin,
Yuanyuan Zhou:
AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants.
IEEE Micro 27(1): 26-35 (2007) |
2006 |
5 | EE | Shan Lu,
Joseph Tucek,
Feng Qin,
Yuanyuan Zhou:
AVIO: detecting atomicity violations via access interleaving invariants.
ASPLOS 2006: 37-48 |
2005 |
4 | EE | Joseph Tucek,
Paul Stanton,
Elizabeth Haubert,
Ragib Hasan,
Larry Brumbaugh,
William Yurcik:
Trade-Offs in Protecting Storage: A Meta-Data Comparison of Cryptographic, Backup/Versioning, Immutable/Tamper-Proof, and Redundant Storage Solutions.
MSST 2005: 329-340 |
3 | EE | Feng Qin,
Joseph Tucek,
Jagadeesan Sundaresan,
Yuanyuan Zhou:
Rx: treating bugs as allergies - a safe method to survive software failures.
SOSP 2005: 235-248 |
2004 |
2 | EE | Gregory Pluta,
Larry Brumbaugh,
William Yurcik,
Joseph Tucek:
Who Moved My Data? A Backup Tracking System for Dynamic Workstation Environments.
LISA 2004: 177-186 |
2003 |
1 | | William D. Smart,
Michael Dixon,
Nik A. Melchior,
Joseph Tucek,
Ashwin Srinivas:
Lewis the Graduate Student: An Entry in the AAAI Robot Challenge.
AAAI Mobile Robot Competition 2003: 46-51 |