@article{banerjee-2025-fulminate, title={Fulminate: Testing CN Separation-Logic Specifications in C}, volume={9}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3704879}, DOI={10.1145/3704879}, number={POPL}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Banerjee, Rini and Memarian, Kayvan and Makwana, Dhruv and Pulte, Christopher and Krishnaswami, Neel and Sewell, Peter}, year={2025}, month=Jan, pages={1260–1292} }