Concepedia

Dachuan Yu

DY

10

Publications

668

Citations

10

H-Index

2002

Active since

Affiliations

Yale University(Current)

DoCoMo Communications Laboratories Europe GmbH

Dachuan Yu is an author at Yale University specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisFormal MethodsVerificationSoftware TestingComputer EngineeringCryptography

Publications per year

2002–2011

10

Publications

10

JavaScript instrumentation for browser security

Dachuan Yu, Ajay Chander, Nayeem Islam et al. · ACM SIGPLAN Notices · 2007 · 179 citations

Engineering, Usable Security, Evasion Technique +17

Dynamic test input generation for web applications

Gary Wassermann, Dachuan Yu, Ajay Chander et al. · 2008 · 172 citations

Engineering, Verification, Web Applications +21

JavaScript instrumentation for browser security

Dachuan Yu, Ajay Chander, Nayeem Islam et al. · 2007 · 101 citations

Engineering, Usable Security, Evasion Technique +17

Building certified libraries for PCC: dynamic storage allocation

Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao · Science of Computer Programming · 2004 · 75 citations

Cluster Computing, Engineering, Software-defined Storage +6

Formalization of generics for the .NET common language runtime

Dachuan Yu, Andrew Kennedy, Don Syme · 2004 · 49 citations

Mixed Specialization, Engineering, Generic Programming +15

Rows per page

1–5 of 10