Searching for authors named "Benjamin Chelf" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
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
Showing 1 through 7.
