Junfeng Yang's Publications

• Kinesis: A new approach to replica placement in distributed storage systems [PDF | PS]
  John MacCormick, Nicholas Murphy, Venugopalan Ramasubramanian, UdiWieder, Junfeng Yang, and Lidong Zhou
  ACM Transactions on Storage (TOS), to appear.
  
  
• Using Model Checking to Find Serious File System Errors [PDF | PS]
  Junfeng Yang, Paul Twohey, Dawson Engler and Madanlal Musuvathi
  ACM Transactions on Computer Systems (TOCS), 24(4):393-423, 2006.
  
  
• eXplode: a Lightweight, General System for finding Serious Storage System Errors [PDF | PS ]
  Junfeng Yang, Can Sar, and Dawson Engler
  Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI)
  Seattle, Washington, November, 2006.
  
  
• Automatically Generating Malicious Disks using Symbolic Execution [PDF | PS]
  Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, and Dawson Engler
  Proceedings of the IEEE Symposium on Security and Privacy (Oakland Security)
  Oakland, California, May, 2006.
  
  
• Using Model Checking to Find Serious File System Errors [PDF | PS]
  Junfeng Yang, Paul Twohey, Dawson Engler and Madanlal Musuvathi
  Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI)
  San Francisco, California, December, 2004.
  Best Paper Award.
  
  
• MECA: an Extensible, Expressive System and Language for Statically Checking Security Properties [PDF | PS]
  Junfeng Yang, Ted Kremenek, Yichen Xie, and Dawson Engler
  Proceedings of the ACM conference on Computer and communication security (ACM CCS)
  Washington, DC, October, 2003.
  
  
• An Empirical Study of Operating System Errors [PDF | PS]
  Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, and Dawson Engler
  Proceedings of the ACM Symposium on Operating Systems Principles (SOSP)
  Banff, Canada, October, 2001.
  
  
• Correlation Exploitation in Error Ranking [PDF | PS]
  Ted Kremenek, Ken Ashcraft, Junfeng Yang, and Dawson Engler
  Proceedings of ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE)
  Long Beach, California, September, 2004.