Aziem Chawdhary

	2011
4		Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu: Towards an Axiomatic Verification System for JavaScript. TASE 2011: 133-141
	2010
3		Aziem Chawdhary, Hongseok Yang: Metric Spaces and Termination Analyses. APLAS 2010: 156-171
	2008
2		Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang: Ranking Abstractions. ESOP 2008: 148-162
	2007
1		Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn: Variance analyses from invariance analyses. POPL 2007: 211-224

Coauthor Index

1	Josh Berdine	[1]
2	Byron Cook	[1] [2]
3	Dino Distefano	[1]
4	Sumit Gulwani	[2]
5	Malcolm Munro	[4]
6	Peter W. O'Hearn	[1]
7	Shengchao Qin	[4]
8	Zongyan Qiu	[4]
9	Shmuel Sagiv (Mooly Sagiv)	[2]
10	Wei Xiong	[4]
11	Hongseok Yang	[2] [3]
12	Huibiao Zhu	[4]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page