Login / Signup
Zhe Yang
Publication Activity (10 Years)
Years Active: 2004-2006
Publications (10 Years): 0
</>
Publications
</>
Brian Hackett
,
Manuvir Das
,
Daniel Wang
,
Zhe Yang
Modular checking for buffer overflows in the large.
ICSE
(2006)
Roman Manevich
,
Manu Sridharan
,
Stephen Adams
,
Manuvir Das
,
Zhe Yang
PSE: explaining program failures via postmortem static analysis.
SIGSOFT FSE
(2004)
Nurit Dor
,
Stephen Adams
,
Manuvir Das
,
Zhe Yang
Software validation via scalable path-sensitive value flow analysis.
ISSTA
(2004)