Rusty Variation: Deadlock-free Sessions with Failure in Rust

Kerewin Kokke

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Rusty Variation (RV) is a library for session-typed communication in Rust which offers strong compile-time correctness guarantees. Programs written using RV are guaranteed to respect a specified protocol, and are guaranteed to be free from deadlocks and races.
Original languageEnglish
Title of host publicationElectronic Proceedings in Theoretical Computer Science
Subtitle of host publicationProceedings 12th Interaction and Concurrency Experience
PublisherEPTCS
Pages48-60
Number of pages13
DOIs
Publication statusPublished - 12 Sep 2019
Event12th Interaction and Concurrency Experience - ICE 2019: a satellite workshop of DisCoTec 2019, held on June 20-21, 2019 in Lyngby, Denmark - Technical University of Denmark, Copenhagen, Denmark
Duration: 20 Jun 201921 Jun 2019
Conference number: 12
http://www.discotec.org/2019/ice.html

Publication series

NameElectronic Proceedings in Theoretical Computer Science
Volume304
ISSN (Electronic)2075-2180

Conference

Conference12th Interaction and Concurrency Experience - ICE 2019
Abbreviated titleICE 2019
Country/TerritoryDenmark
CityCopenhagen
Period20/06/1921/06/19
Internet address

Fingerprint

Dive into the research topics of 'Rusty Variation: Deadlock-free Sessions with Failure in Rust'. Together they form a unique fingerprint.

Cite this