Reliable Computer Systems Laboratory

MODIST: Transparent Model Checking of Unmodified Distributed Systems [PDF | PS]
This version is identical to the version appeared in NSDI 09 except with two (embarrassing) speedup calculation errors fixed.
Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, and Lidong Zhou
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09),
Boston, Massachusetts, 2009.

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 '06)
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 (SP '06)
Oakland, California, May, 2006.

eXplode: a Lightweight, General Approach to 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 '06)
Seattle, Washington, November, 2006.

eXplode: a Lightweight, General System for Finding Serious Storage System Errors [PDF | PS ]
Junfeng Yang, Paul Twohey, Ben Pfaff, Can Sar, and Dawson Engler
Workshop on the Evaluation of Software Detection Tools (BUGS '05), co-located with PLDI '05
Chicago, Illinois, June, 2005.

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 '04)
San Francisco, California, December, 2004.
Best Paper

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 (CCS '03)
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 '01)
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.

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.