3 citations · 6 across the 6 of their papers we have counts for
4 papers · 1 filter
Parameterized Algebraic Protocols
Andreia Mordido, Janek Spaderna, Peter Thiemann +1
We propose algebraic protocols that enable the definition of protocol templates and session types analogous to the definition of domain-specific types with algebraic datatypes. Par…
Intrinsically Typed Sessions With Callbacks
Peter Thiemann
All formalizations of session types rely on linear types for soundness as session-typed communication channels must change their type at every operation. Embedded language implemen…
Transaction-based Sandboxing for JavaScript
Matthias Keil, Peter Thiemann
Today's JavaScript applications are composed of scripts from different origins that are loaded at run time. As not all of these origins are equally trusted, the execution of these…
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
We consider the problem of static deadlock detection for programs in the Go programming language which make use of synchronous channel communications. In our analysis, regular expr…