Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, Peter Sewell
Into the depths of C: elaborating the de facto standards
PLDI, 2016.
@inproceedings{PLDI-2016-MemarianMLNCWS,
author = "Kayvan Memarian and Justus Matthiesen and James Lingard and Kyndylan Nienhuis and David Chisnall and Robert N. M. Watson and Peter Sewell",
booktitle = "{Proceedings of the 37th Conference on Programming Language Design and Implementation}",
doi = "10.1145/2908080.2908081",
isbn = "978-1-4503-4261-2",
pages = "1--15",
publisher = "{ACM}",
title = "{Into the depths of C: elaborating the de facto standards}",
year = 2016,
}