Fluent Session Programming in C#

04/03/2020
by   Shunsuke Kimura, et al.
0

We propose SessionC#, a lightweight session typed library for safe concurrent/distributed programming. The key features are (1) the improved fluent interface which enables writing communication in chained method calls, by exploiting C#'s out variables, and (2) amalgamation of session delegation with async/await, which materialises session cancellation in a limited form, which we call session intervention. We show the effectiveness of our proposal via a Bitcoin miner application.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/15/2017

Timed Session Types

Timed session types formalise timed communication protocols between two ...
research
01/15/2021

Manifestly Phased Communication via Shared Session Types

Session types denote message protocols between concurrent processes, all...
research
03/02/2023

Intrinsically Typed Sessions With Callbacks

All formalizations of session types rely on linear types for soundness a...
research
10/24/2019

Model-View-Update-Communicate: Session Types meet the Elm Architecture

The Elm programming language pioneers the Model-View-Update (MVU) archit...
research
05/15/2018

The remote_build Tool

This is an introduction to the remote_build tool for transparent remote ...
research
06/24/2021

Choice of Parallelism: Multi-GPU Driven Pipeline for Huge Academic Backbone Network

Science Information Network (SINET) is a Japanese academic backbone netw...
research
06/20/2017

Session Analysis using Plan Recognition

This paper presents preliminary results of our work with a major financi...

Please sign up or login with your details

Forgot password? Click here to reset