| 2006 |
|---|
| 7 | EE | Junfeng Yang,
Can Sar,
Dawson R. Engler:
EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors.
OSDI 2006: 131-146 |
| 6 | EE | Junfeng Yang,
Can Sar,
Paul Twohey,
Cristian Cadar,
Dawson R. Engler:
Automatically Generating Malicious Disks using Symbolic Execution.
S&P 2006: 243-257 |
| 5 | EE | Junfeng 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) |
| 2004 |
|---|
| 4 | EE | Junfeng Yang,
Paul Twohey,
Dawson R. Engler,
Madanlal Musuvathi:
Using Model Checking to Find Serious File System Errors (Awarded Best Paper!).
OSDI 2004: 273-288 |
| 3 | EE | Ted Kremenek,
Ken Ashcraft,
Junfeng Yang,
Dawson R. Engler:
Correlation exploitation in error ranking.
SIGSOFT FSE 2004: 83-93 |
| 2003 |
|---|
| 2 | EE | Junfeng 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 |
| 2001 |
|---|
| 1 | EE | Andy Chou,
Junfeng Yang,
Benjamin Chelf,
Seth Hallem,
Dawson R. Engler:
An Empirical Study of Operating System Errors.
SOSP 2001: 73-88 |
