Statistics
Publications
9
Citations
397
H-Index
9
Active since
2004
Zhe Yang is an author at University of Science and Technology of China specializing in control-flow analysis, data-flow analysis, and computing.
Publications per year
2004–2024
9
9
Modular checking for buffer overflows in the large
Brian Hackett, Manuvir Das, Daniel Wang et al. · 2006 · 109 citations
Roman Manevich, Manu Sridharan, Stephen Adams et al. · 2004 · 106 citations
Software validation via scalable path-sensitive value flow analysis
Nurit Dor, Stephen Adams, Manuvir Das et al. · 2004 · 57 citations
The quest to discover supersymmetry at the ATLAS experiment
G. Aad, Erlend Aakvaag, B. Abbott et al. · Physics Reports · 2024 · 27 citations · Full text
1–5 of 9