@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} }