Joseph Tucek

Biography

I am a member of the storage research group, SIMPL, at HP Labs, having joined in 2008.  Prior to HPL, I attended the University of Illinois at Urbana-Champaign, where I earned my Ph.D under Yuanyuan Zhou.  Before that I attended Washington University in St. Louis.

Research interests

My research interests are in the area of operating systems, focusing on reliability, security, and storage.  I have worked on topics such as the low-level performance characteristics of hard disks, the design of trojan hardware, and several projects on dealing with software bugs.

Publications

The DBLP has listings of most of my publications. Below are some selected publications:

Krevat, E., Shiran, T., Anderson, E., Tucek, J., Wylie, J. J., and Ganger, G. R.  Applying idealized lower-bound runtime models to understand inefficiencies in data-intensive computing. In SIGMETRICS '11. DOI= http://doi.acm.org/10.1145/1993744.1993788

Krevat, E., Tucek, J., and Ganger, G. R. Disks are like snowflakes: no two are alike. In HOTOS'11.

Anderson, E., Li, X., Shah, M. A., Tucek, J., and Wylie, J. J. What consistency does your key-value store actually provide? In HOTDEP'10.

Anderson, E. and Tucek, J. Efficiency matters!. SIGOPS Oper. Syst. Rev. 44, 1 (Mar. 2010), 40-45. DOI= http://doi.acm.org/10.1145/1740390.1740400

Tucek, J., Xiong, W., and Zhou, Y. 2009. Efficient online validation with delta execution. In ASPLOS '09. DOI= http://doi.acm.org/10.1145/1508244.1508267

King, S. T., Tucek, J., Cozzie, A., Grier, C., Jiang, W., and Zhou, Y. Designing and implementing malicious hardware. In LEET'08.

Tucek, J., Lu, S., Huang, C., Xanthos, S., and Zhou, Y. Triage: diagnosing production run failures at the user's site. In SOSP '07. DOI= http://doi.acm.org/10.1145/1294261.1294275

Tucek, J., Newsome, J., Lu, S., Huang, C., Xanthos, S., Brumley, D., Zhou, Y., and Song, D. Sweeper: a lightweight end-to-end system for defending against fast worms. In EuroSys '07. DOI= http://doi.acm.org/10.1145/1272996.1273010

Lu, S., Tucek, J., Qin, F., and Zhou, Y. AVIO: detecting atomicity violations via access interleaving invariants. In ASPLOS'06. DOI= http://doi.acm.org/10.1145/1168857.1168864

Qin, F., Tucek, J., Sundaresan, J., and Zhou, Y. 2005. Rx: treating bugs as allergies---a safe method to survive software failures. In SOSP '05. DOI= http://doi.acm.org/10.1145/1095810.1095833