@inproceedings{Reinhard2023CTs4MS-Arrays,
	author = {Reinhard, Tobias and Fasse, Justus and Jacobs, Bart},
	title = {Completeness Thresholds for Memory Safety of Array Traversing Programs},
	year = {2023},
	publisher = {Association for Computing Machinery},
	address = {New York, NY, USA},
	url = {https://doi.org/10.1145/3589250.3596143},
	doi = {10.1145/3589250.3596143},
	booktitle = {Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis},
	pages = {47–54},
	numpages = {8},
	keywords = {bounded proofs, completeness thresholds, program verification, model checking, separation logic, memory safety},
	location = {Orlando, FL, USA},
	series = {SOAP 2023}
}

@misc{Reinhard2023CTs4MS-Arrays--TR,
	title={Completeness Thresholds for Memory Safety of Array Traversing Programs: Early Technical Report}, 
	author={Tobias Reinhard},
	year={2023},
	eprint={2211.11885},
	archivePrefix={arXiv},
	primaryClass={cs.LO}
}