| 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 |