Zhe Yang

According to our database, Zhe Yang authored at least 3 papers between 2004 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Modular checking for buffer overflows in the large.

Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2004

PSE: explaining program failures via postmortem static analysis.

Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Software validation via scalable path-sensitive value flow analysis.

Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004