Alexander Vaynberg

	2007
2		Hongxu Cai, Zhong Shao, Alexander Vaynberg: Certified self-modifying code. PLDI 2007: 66-77
	2006
1		Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni: Modular verification of assembly code with stack-based control abstractions. PLDI 2006: 401-414

Coauthor Index

1	Hongxu Cai	[2]
2	Xinyu Feng	[1]
3	Zhaozhong Ni	[1]
4	Zhong Shao	[1] [2]
5	Sen Xiang	[1]