@inproceedings{OConnorDavis_CSRKK_18, address = {Limassol, Cyprus}, author = {O'Connor, Liam and Chen, Zilin and Susarla Ajay, Partha and Rizkallah, Christine and Klein, Gerwin and Keller, Gabriele}, booktitle = {International Symposium on Leveraging Applications of Formal Methods, Verification and Validation}, date = {2018-11-5}, doi = {https://doi.org/10.1007/978-3-030-03418-4\_9}, month = nov, pages = {134-149}, paperurl = {https://trustworthy.systems/publications/full_text/OConnorDavis_CSRKK_18.pdf}, publisher = {Springer}, title = {Bringing Effortless Refinement of Data Layouts to {Cogent}}, year = {2018} }