Publications

David Doty, Eric Severson (2021). ppsim: A software package for efficiently simulating and visualizing population protocols. In CMSB 2021.

Cite README for software package Full Paper on Arxiv

David Doty, Mahsa Eftekhari, Leszek Gąsieniec, Eric Severson, Grzegorz Stachowiak, Przemysław Uznański (2021). A time and space optimal stable population protocol solving exact majority.

Cite Code Dataset Video Full Paper on Arxiv

Janna Burman, Ho-Lin Chen, Hsueh-Ping Chen, David Doty, Thomas Nowak, Eric Severson, Chuan Xu (2021). Time-optimal self-stabilizing leader election in population protocols. In PODC 2021.

Cite Slides Video Full Paper on Arxiv

Talley Amir, James Aspnes, David Doty, Mahsa Eftekhari, Eric Severson (2020). Message complexity of population protocols. In DISC 2020.

Cite Slides Video Full Paper on Arxiv

Eric Severson, David Haley, David Doty (2019). Composable computation in discrete chemical reaction networks. In DIST 2020 (Journal) and PODC 2019 (Conference).

Cite Poster Slides Journal Publication Conference Publication Full Paper on Arxiv