@inproceedings{bender:2024:cccc,
	author = {Bender, John},
	title = {Correct Compilation of Concurrent C Code},
	year = {2024},
	isbn = {9798400712579},
	publisher = {Association for Computing Machinery},
	address = {New York, NY, USA},
	url = {https://doi.org/10.1145/3694848.3694856},
	doi = {10.1145/3694848.3694856},
	booktitle = {Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday},
	pages = {39–42},
	numpages = {4},
	keywords = {Compilers, Concurrency, Memory Models, Verification},
	location = {Pasadena, CA, USA},
	series = {JENSFEST '24}
}