Zhe Yang

Microsoft Corporation

other persons with the same name:

• Zhe Yang - Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China
• Zhe Yang - Department of Computer Science and Technology, Tongji University, Shanghai, China

2006
10	EE	Xiangfeng Luo, Ning Fang, Zhe Yang, Huizhe Xiao, Weimin Xu: Scientific Text Topics Discovery for e-science Semantic Grid Environment. GCC 2006: 440-447
9	EE	Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang: Modular checking for buffer overflows in the large. ICSE 2006: 232-241
2004
8	EE	Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang: Software validation via scalable path-sensitive value flow analysis. ISSTA 2004: 12-22
7	EE	Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang: PSE: explaining program failures via postmortem static analysis. SIGSOFT FSE 2004: 63-72
6	EE	Zhe Yang: Encoding types in ML-like languages. Theor. Comput. Sci. 315(1): 151-190 (2004)
2001
5		Bernd Grobauer, Zhe Yang: The Second Futamura Projection for Type-Directed Partial Evaluation. Higher-Order and Symbolic Computation 14(2-3): 173-219 (2001)
2000
4	EE	Bernd Grobauer, Zhe Yang: The Second Futamura Projection for Type-Directed Partial Evaluation. PEPM 2000: 22-32
1999
3	EE	Olivier Danvy, Zhe Yang: An Operational Investigation of the CPS Hierarchy. ESOP 1999: 224-242
1998
2	EE	Zhe Yang: Encoding Types in ML-Like Languages. ICFP 1998: 289-300
1997
1	EE	Robert Paige, Zhe Yang: High Level Reading and Data Structure Compilation. POPL 1997: 456-469

Coauthor Index

1	Stephen Adams	[7] [8]
2	Olivier Danvy	[3]
3	Manuvir Das	[7] [8] [9]
4	Nurit Dor	[8]
5	Ning Fang	[10]
6	Bernd Grobauer	[4] [5]
7	Brian Hackett	[9]
8	Xiangfeng Luo	[10]
9	Roman Manevich	[7]
10	Robert Paige	[1]
11	Manu Sridharan	[7]
12	Daniel Wang	[9]
13	Huizhe Xiao	[10]
14	Weimin Xu	[10]

Colors in the list of coauthors