AI Chat AI Image Generator AI Video Text to Speech

Rusty Variation: Deadlock-free Sessions with Failure in Rust

09/12/2019

∙

by Wen Kokke, et al.

∙

∙

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.

page 1

page 2

page 3

page 4

research

∙ 03/26/2021

Deadlock-Free Session Types in Linear Haskell

Priority Sesh is a library for session-typed communication in Linear Has...

0 Wen Kokke, et al. ∙

research

∙ 11/23/2021

kmclib: Automated Inference and Verification of Session Types

Theories and tools based on multiparty session types offer correctness g...

0 Keigo Imai, et al. ∙

research

∙ 03/02/2023

Intrinsically Typed Sessions With Callbacks

All formalizations of session types rely on linear types for soundness a...

0 Peter Thiemann, et al. ∙

research

∙ 04/02/2019

Multiparty Session Type-safe Web Development with Static Linearity

Modern web applications can now offer desktop-like experiences from with...

0 Jonathan King, et al. ∙

research

∙ 01/12/2021

Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types

Modern web programming involves coordinating interactions between browse...

0 Anson Miu, et al. ∙

research

∙ 11/04/2021

A thread-safe Term Library

Terms are one of the fundamental data structures for computing. E.g. eve...

0 J. F. Groote, et al. ∙

research

∙ 12/31/2019

Medusa: A C++ Library for solving PDEs using Strong Form Mesh-Free methods

Medusa, a novel library for implementation of strong form mesh-free meth...

0 Jure Slak, et al. ∙