Projects per year
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.
|Title of host publication||Electronic Proceedings in Theoretical Computer Science|
|Subtitle of host publication||Proceedings 12th Interaction and Concurrency Experience|
|Number of pages||13|
|Publication status||Published - 12 Sep 2019|
|Event||12th 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 2019 → 21 Jun 2019
Conference number: 12
|Name||Electronic Proceedings in Theoretical Computer Science|
|Conference||12th Interaction and Concurrency Experience - ICE 2019|
|Abbreviated title||ICE 2019|
|Period||20/06/19 → 21/06/19|
FingerprintDive into the research topics of 'Rusty Variation: Deadlock-free Sessions with Failure in Rust'. Together they form a unique fingerprint.
- 1 Finished
20/05/13 → 19/11/20