@article{pulte-2023-cn, title={CN: Verifying Systems C Code with Separation-Logic Refinement Types}, volume={7}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3571194}, DOI={10.1145/3571194}, number={POPL}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Pulte, Christopher and Makwana, Dhruv C. and Sewell, Thomas and Memarian, Kayvan and Sewell, Peter and Krishnaswami, Neel}, year={2023}, month=Jan, pages={1–32} }