Dinghao Wu

	2004
4		Shaz Qadeer, Dinghao Wu: KISS: keep it simple and sequential. PLDI 2004: 14-24
3		Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu: Construction of a Semantic Model for a Typed Assembly Language. VMCAI 2004: 30-43
	2003
2		Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang: A provably sound TAL for back-end optimization. PLDI 2003: 208-219
1		Dinghao Wu, Andrew W. Appel, Aaron Stump: Foundational proof checkers with small witnesses. PPDP 2003: 264-274

Coauthor Index

1	Andrew W. Appel	[1] [2] [3]
2	Juan Chen	[2]
3	Hai Fang	[2]
4	Shaz Qadeer	[4]
5	Aaron Stump	[1]
6	Kedar N. Swadi	[3]
7	Gang Tan	[3]

Colors in the list of coauthors