@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}
  }