@inproceedings{CGO-2019-RodriguesGP,
	acmid         = "3314890",
	author        = "Marcus Rodrigues and Breno Guimarães and Fernando Magno Quintão Pereira",
	booktitle     = "{Proceedings of the 17th International Symposium on Code Generation and Optimization}",
	doi           = "10.1109/CGO.2019.8661178",
	isbn          = "978-1-7281-1436-1",
	pages         = "136--148",
	publisher     = "{IEEE}",
	title         = "{Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages}",
	year          = 2019,
}