Refereed Papers 经过同行审议的论文

• Beyond Bug-Finding: Sound Program Analysis for Linux
  Zachary Anderson, Eric Brewer, Jeremy Condit, Rob Ennals, David Gay, Matthew Harren, George Necula, and Feng Zhou
  HotOS 2007, San Diego, CA, May 2007. PDF
• SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques
  Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak, Rob Ennals, Matthew Harren, George Necula, Eric Brewer
  OSDI 2006, PDF
• Autolocker: Synchronization Inference for Atomic Sections
  Bill McCloskey, Feng Zhou, David Gay and Eric Brewer
  Proceedings of the 33rd ACM Symposium on Principles of Programming Languages, Charleston, South Carolina, January 2006. PDF
• Keyboard Acoustic Emanations Revisited
  Li Zhuang, Feng Zhou, J. D. Tygar
  Proceedings of the 12th ACM Conference on Computer and Communications Security, Alexandria, VA, November 2005. PDF
• Thirty Years is Long Enough: Getting Beyond C
  Eric Brewer, Jeremy Condit, Bill McCloskey and Feng Zhou
  HotOS X, Santa Fe, NM, June 2005. PDF
• Cashmere: Resilient Anonymous Routing
  Li Zhuang, Feng Zhou, Ben Y. Zhao and Antony Rowstron
  Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI), Boston, MA, May 2005. PDF
• AMP: Program Context Specific Buffer Caching
  Feng Zhou, Rob von Behren, and Eric Brewer
  Proceedings of the Usenix Technical Conference 2005, Anaheim, CA, April 2005. PDF
• Capriccio: Scalable Threads for Internet Services
  Rob von Behren, Jeremy Condit, Feng Zhou, George C. Necula, and Eric Brewer,
  Proceedings of the 19th ACM Symposium on Operating Systems, 2003 PDF(reformatted for better viewing and with page #), PDF(original version)
• Approximate Object Location and Spam Filtering on Peer-to-peer Systems
  Feng Zhou, Li Zhuang, Ben Y. Zhao, Ling Huang, Anthony D. Joseph and John Kubiatowicz
  ACM Middleware 2003. PDF, PS
• TODS: Cluster Object Storage Platform Designed for Scalable Services
  Feng Zhou, Chao Jin, Yinghui Wu, Weimin Zheng
  The 5th International Conference on Algorithms and Architecture for Parallel Processing, Beijing, Oct 2002. Fulltext(PDF)
  Extended version appeared in Future Generation Computer Systems special issue on "Tools and Middleware for Clusters, Grid, and the Internet", 2003. Fulltext(PDF)
• Disk Logging Algorithms and Performance Analysis Based on Petri Net Models
  Feng Zhou, Chuang Lin, Wei-min Zheng
  Chinese Journal of Software, 2002. Abstract(HTML), Fulltext(PDF, Chinese)