Junfeng Yang

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

8EEJohn MacCormick, Nicholas Murphy, Venugopalan Ramasubramanian, Udi Wieder, Junfeng Yang, Lidong Zhou: Kinesis: A new approach to replica placement in distributed storage systems. TOS 4(4): (2009)
7EEJunfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler: Automatically Generating Malicious Disks using Symbolic Execution. IEEE Symposium on Security and Privacy 2006: 243-257
6EEJunfeng Yang, Can Sar, Dawson R. Engler: EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. OSDI 2006: 131-146
5EEJunfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi: Using model checking to find serious file system errors. ACM Trans. Comput. Syst. 24(4): 393-423 (2006)
4EEJunfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi: Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). OSDI 2004: 273-288
3EETed Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler: Correlation exploitation in error ranking. SIGSOFT FSE 2004: 83-93
2EEJunfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler: MECA: an extensible, expressive system and language for statically checking security properties. ACM Conference on Computer and Communications Security 2003: 321-334
1EEAndy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler: An Empirical Study of Operating System Errors. SOSP 2001: 73-88

Coauthor Index

1Ken Ashcraft [3]
2Cristian Cadar [7]
3Benjamin Chelf [1]
4Andy Chou [1]
5Dawson R. Engler [1] [2] [3] [4] [5] [6] [7]
6Seth Hallem [1]
7Ted Kremenek [2] [3]
8John MacCormick [8]
9Nicholas Murphy [8]
10Madanlal Musuvathi [4] [5]
11Venugopalan Ramasubramanian [8]
12Can Sar [6] [7]
13Paul Twohey [4] [5] [7]
14Udi Wieder [8]
15Yichen Xie [2]
16Lidong Zhou [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)