Searching for authors named "Benjamin Chelf" – sorted by Relevance.
-
Using Meta-level Compilation to Check FLASH Protocol Code
- Using Meta-level Compilation to Check FLASH Protocol Code Andy Chou, Benjamin Chelf, Dawson Engler
- Cited by 17 (4 self) – Add To MetaCart
-
How to Write System-specific, Static Checkers in Metal
- How to Write System-specific, Static Checkers in Metal Benjamin Chelf, Dawson Engler, and Seth
- Cited by 6 (0 self) – Add To MetaCart
-
Checking system rules using system-specific, programmer-written compiler extensions
- Engler, Benjamin Chelf, Andy Chou, and Seth Hallem\Lambda Computer Systems Laboratory Stanford
- Cited by 253 (16 self) – Add To MetaCart
-
A System and Language for Building System-Specific, Static Analyses
- A System and Language for Building System-Specific, Static Analyses Seth Hallem, Benjamin Chelf
- Cited by 151 (12 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 137 (4 self) – Add To MetaCart
-
Bugs as deviant behavior: A general approach to inferring errors in systems code
- , David Yu Chen, Seth Hallem, Andy Chou, and Benjamin Chelf Computer Systems Laboratory Stanford
- Cited by 191 (10 self) – Add To MetaCart
-
Bugs as Deviant Behavior: A General Approach
- , David Yu Chen, Seth Hallem, Andy Chou, and Benjamin Chelf Computer Systems Laboratory Stanford
- Add To MetaCart

