@inproceedings{Pohjola_GLSN_22,
    address          = {Haifa, Israel},
    author           = {Johannes {\AA}man Pohjola and Alejandro G{\'{o}}mez{-}Londo{\~n}o and James Shaker and Michael
                        Norrish},
    booktitle        = {International Conference on Interactive Theorem Proving},
    doi              = {10.4230/LIPIcs.ITP.2022.27},
    editor           = {June Andronick and Leonardo de Moura},
    month            = aug,
    pages            = {27:1--27:18},
    paperurl         = {https://trustworthy.systems/publications/papers/Pohjola_GLSN_22.pdf},
    publisher        = {Schloss Dagstuhl --- Leibniz-Zentrum f{\"u}r Informatik},
    series           = {LIPIcs},
    title            = {Kalas: {A} Verified, End-To-End Compiler for a Choreographic Language},
    volume           = {237},
    year             = {2022}
  }