@inproceedings{CGO-2017-MaalejPRGP,
	author        = "Maroua Maalej and Vitor Paisante and Pedro Ramos and Laure Gonnord and Fernando Magno Quintão Pereira",
	booktitle     = "{Proceedings of the 15th International Symposium on Code Generation and Optimization}",
	isbn          = "978-1-5090-4931-8",
	pages         = "134--147",
	publisher     = "{ACM}",
	title         = "{Pointer disambiguation via strict inequalities}",
	year          = 2017,
}