Sen Xiang

	2006
2		Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni: Modular verification of assembly code with stack-based control abstractions. PLDI 2006: 401-414
1		Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li: Modularly Certified Dynamic Storage Allocation in SCAP. QSIC 2006: 321-328

Coauthor Index

1	Yiyun Chen	[1]
2	Xinyu Feng	[2]
3	Long Li	[1]
4	Chunxiao Lin	[1]
5	Zhaozhong Ni	[2]
6	Zhong Shao	[2]
7	Alexander Vaynberg	[2]