Aziem Chawdhary Vis

*	2008
2	EE	Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang: Ranking Abstractions. ESOP 2008: 148-162
	2007
1	EE	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	Peter W. O'Hearn	[1]
6	Shmuel Sagiv (Mooly Sagiv)	[2]
7	Hongseok Yang	[2]