Publications

@inproceedings{icps-2002-138,
	title = "Alias verification for Fortran code optimization",
	author= "T.V.N. Nguyen and F. Irigoin",
 	booktitle = "International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2002)",
 	pages = "56-70",
	location = "Grenoble, France",
	month = "April",
	year  = "2002",
}