papers.html

---
layout: page
title: Publications
---

<!-- This document was automatically generated with bibtex2html 1.99
     (see http://www.lri.fr/~filliatr/bibtex2html/),
     with the following command:
     bibtex2html --dl --nodoc --title Publications papers.bib  -->

<h1>Publications</h1>
<p>This page attempts to list all publications relating to Choreographic Programming.
The data is available <a href="papers_bib.html">in BibTeX format</a>.
If you have anything to add or correct, please
<a href="{{ site.repo }}/edit/gh-pages/papers.bib">edit the file on GitHub</a>
and send us a pull request.</p>

<p><strong>Select checkboxes to filter papers by topic:</strong></p>
<form id="papers-filter">
    <input type="checkbox" id="higher-order" name="higher-order">
    <label for="higher-order">Higher-order choreographies</label><br>

    <input type="checkbox" id="introduction" name="introduction">
    <label for="introduction">Introductions to choreographic programming</label><br>

    <input type="checkbox" id="library-level" name="library-level">
    <label for="library-level">Library-level choreographic programming</label><br>

    <input type="checkbox" id="Choral" name="Choral">
    <label for="Choral">Programming Language: Choral</label><br>

    <input type="checkbox" id="Java" name="Java">
    <label for="Java">Programming Language: Java</label><br>

    <input type="checkbox" id="Haskell" name="Haskell">
    <label for="Haskell">Programming Language: Haskell</label><br>

    <input type="checkbox" id="TypeScript" name="TypeScript">
    <label for="TypeScript">Programming Language: TypeScript</label><br>

    <input type="checkbox" id="Rust" name="Rust">
    <label for="Rust">Programming Language: Rust</label><br>
</form>

<script>
const checkboxes = document.querySelectorAll('form#papers-filter input[type="checkbox"]')

for (let checkbox of checkboxes) {
    checkbox.addEventListener('change', () => {
        let selected = []
        for (let cb of checkboxes) {
            if (cb.checked) selected.push(cb.name)
        }

        const regex = new RegExp(selected.join('|'))

        for (let element of document.querySelectorAll('div.td-content > dl > dd')) {
            let keywords = element.querySelector('blockquote')
            let previous = element
            do {
                previous = previous.previousSibling
            } while (previous.nodeType !== Node.ELEMENT_NODE || previous.tagName !== 'DT')

            if (selected.length === 0 || (keywords && regex.test(keywords.innerText))) {
                previous.className = 'selected'
            } else {
                previous.className = 'unselected'
            }
        }
    })
}
</script>

<h2>Paper List</h2>
<p>(In reverse chronological order)</p>
<dl>

<dt>
[<a name="plyukhin2025relax">1</a>]
</dt>
<dd>
Dan Plyukhin, Xueying Qin, and Fabrizio Montesi.
 Relax! The semilenient core of choreographic programming
  (functional pearl).
 <em>Proc. ACM Program. Lang.</em>, 9(ICFP):269:1--269:27, August
  2025.
[&nbsp;<a href="papers_bib.html#plyukhin2025relax">bib</a>&nbsp;| 
<a href="http://dx.doi.org/10.1145/3747538">DOI</a>&nbsp;| 
<a href="https://doi.org/10.1145/3747538">http</a>&nbsp;]
<blockquote><font size="-1">
Keywords: higher-order, introduction
</font></blockquote>

</dd>


<dt>
[<a name="bates2025multichor">2</a>]
</dt>
<dd>
Mako Bates, Shun Kashiwa, Syed Jafri, Gan Shen, Lindsey Kuper, and Joseph&nbsp;P.
  Near.
 Efficient, portable, census-polymorphic choreographic programming.
 <em>Proc. ACM Program. Lang.</em>, 9(PLDI), June 2025.
[&nbsp;<a href="papers_bib.html#bates2025multichor">bib</a>&nbsp;| 
<a href="http://dx.doi.org/10.1145/3729296">DOI</a>&nbsp;| 
<a href="https://doi.org/10.1145/3729296">http</a>&nbsp;]
<blockquote><font size="-1">
Keywords: library-level, Haskell, Rust, TypeScript
</font></blockquote>

</dd>


<dt>
[<a name="plyukhin2024ozone">3</a>]
</dt>
<dd>
Dan Plyukhin, Marco Peressotti, and Fabrizio Montesi.
 Ozone: Fully out-of-order choreographies.
 In <em>38th European Conference on Object-Oriented Programming</em>,
  ECOOP 2024, pages 31:1--31:28. Schloss Dagstuhl, 2024.
[&nbsp;<a href="papers_bib.html#plyukhin2024ozone">bib</a>&nbsp;| 
<a href="http://dx.doi.org/10.4230/LIPICS.ECOOP.2024.31">DOI</a>&nbsp;| 
<a href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.31">http</a>&nbsp;]
<blockquote><font size="-1">
Keywords: Choral, Java
</font></blockquote>

</dd>


<dt>
[<a name="shen2023haschor">4</a>]
</dt>
<dd>
Gan Shen, Shun Kashiwa, and Lindsey Kuper.
 HasChor: Functional choreographic programming for all (functional
  pearl).
 <em>Proc. ACM Program. Lang.</em>, 7(ICFP), August 2023.
[&nbsp;<a href="papers_bib.html#shen2023haschor">bib</a>&nbsp;| 
<a href="http://dx.doi.org/10.1145/3607849">DOI</a>&nbsp;| 
<a href="https://doi.org/10.1145/3607849">http</a>&nbsp;]
<blockquote><font size="-1">
Keywords: library-level, Haskell, introduction
</font></blockquote>

</dd>
</dl>