@inproceedings{DBLP:conf/issta/WindsorDW21,
author = {Matt Windsor and
Alastair F. Donaldson and
John Wickerson},
editor = {Cristian Cadar and
Xiangyu Zhang},
title = {{C4:} the {C} compiler concurrency checker},
booktitle = {{ISSTA} '21: 30th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021},
pages = {670-673},
publisher = {{ACM}},
year = {2021},
doi = {10.1145/3460319.3469079},
}