Concepedia

Benjamin Chelf

BC

13

Publications

2.7K

Citations

12

H-Index

2000

Active since

Affiliations

Stanford University(Current)

Cornell University

Benjamin Chelf is an author at Stanford University specializing in formal verification, program analysis, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware TestingFormal MethodsSystem SoftwareSoftware EngineeringVerification

Publications per year

2000–2002

13

Publications

13

Bugs as deviant behavior

Dawson Engler, David Yu Chen, Seth Hallem et al. · 2001 · 740 citations

Program Checking, Engineering, Entomology +21

An empirical study of operating systems errors

Andy Chou, Junfeng Yang, Benjamin Chelf et al. · 2001 · 706 citations

Software Maintenance, Compiler Analysis, Engineering +24

Checking system rules using system-specific, programmer-written compiler extensions

Dawson Engler, Benjamin Chelf, Andy Chou et al. · Operating Systems Design and Implementation · 2000 · 537 citations

Program Checking, Engineering, Compiler Technology +23

A system and language for building system-specific, static analyses

Seth Hallem, Benjamin Chelf, Yichen Xie et al. · 2002 · 350 citations

Software Maintenance, Engineering, Performance-based Building Design +26

Bugs as deviant behavior

Dawson Engler, David Yu Chen, Seth Hallem et al. · ACM SIGOPS Operating Systems Review · 2001 · 143 citations

Program Checking, Engineering, Entomology +21

Rows per page

1–5 of 13