Searching for authors named "Junfeng Yang" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
MECA: an Extensible, Expressive System and Language for Statically Checking Security Properties
- … Junfeng Yang, Ted Kremenek, Yichen Xie and Dawson EnglerComputer Systems Laboratory Stanford University…
- Cited by 22 (3 self) – Add To MetaCart
-
EXPLODE: a Lightweight, General System for Finding Serious Storage System Errors
- …. It gives clients a clean framework to build and plug together powerful, potentially system-specific Junfeng…
- Cited by 12 (2 self) – Add To MetaCart
-
Using Model Checking to Find Serious File System Errors
- …Using Model Checking to Find Serious File System Errors Junfeng Yang, Paul Twohey, Dawson Engler…
- Cited by 62 (7 self) – Add To MetaCart
-
Correlation Exploitation in Error Ranking
- …ABSTRACT Correlation Exploitation in Error Ranking Ted Kremenek, Ken Ashcraft, Junfeng Yang…
- Cited by 15 (1 self) – Add To MetaCart
-
eXplode: A lightweight, general approach for finding serious errors in storage systems
- … Junfeng Yang, Paul Twohey, Ben Pfaff, Can Sar, Dawson Engler ∗ Computer Systems Laboratory Stanford…
- Cited by 4 (1 self) – Add To MetaCart
-
Automatically generating malicious disks using symbolic execution
- …Automatically Generating Malicious Disks using Symbolic Execution Junfeng Yang, Can Sar, Paul…
- Cited by 17 (1 self) – Add To MetaCart
-
An Empirical Study of Operating System Errors
- …An Empirical Study of Operating Systems Errors Andy Chou, Junfeng Yang, Benjamin Chelf, Seth…
- Cited by 130 (3 self) – Add To MetaCart
Showing 1 through 7.
