@inproceedings{Cheung_OR_22,
    address          = {New York, NY, USA},
    author           = {Cheung, Louis and O'Connor, Liam and Rizkallah, Christine},
    booktitle        = {Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs},
    doi              = {10.1145/3497775.3503686},
    isbn             = {978-1-4503-9182-5},
    keywords         = {data-structures, verification, type-systems, compilers, language interoperability},
    location         = {Philadelphia, PA, USA},
    numpages         = {14},
    pages            = {13--26},
    paperurl         = {https://trustworthy.systems/publications/papers/Cheung_OR_22.pdf},
    publisher        = {ACM},
    series           = {CPP 2022},
    title            = {Overcoming Restraint: Composing Verification of Foreign Functions with {Cogent}},
    url              = {https://doi.org/10.1145/3497775.3503686},
    year             = {2022}
  }