David Yu Chen is an author at Stanford University specializing in verification, automated reasoning, and program analysis.
Top concepts
EntomologyPsychologyEngineeringVerificationFormal MethodsSocial BehaviorComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2001–2001
3
3
Dawson Engler, David Yu Chen, Seth Hallem et al. · 2001 · 740 citations
Dawson Engler, David Yu Chen, Seth Hallem et al. · ACM SIGOPS Operating Systems Review · 2001 · 143 citations
Dawson Engler, David Yu Chen, Seth Hallem et al. · 2001 · 56 citations
Rows per page
1–3 of 3