24 citations · 129 across the 22 of their papers we have counts for
4 papers · 1 filter
Work Analysis with Resource-Aware Session Types
Ankush Das, Jan Hoffmann, Frank Pfenning
While there exist several successful techniques for supporting programmers in deriving static resource bounds for sequential code, analyzing the resource usage of message-passing c…
Intersections and Unions of Session Types
Coşku Acay, Frank Pfenning
Prior work has extended the deep, logical connection between the linear sequent calculus and session-typed message-passing concurrent computation with equi-recursive types and a na…
Design and Implementation of Concurrent C0
Max Willsey, Rokhini Prabhu, Frank Pfenning
We describe Concurrent C0, a type-safe C-like language with contracts and session-typed communication over channels. Concurrent C0 supports an operation called forwarding which all…
Non-Blocking Concurrent Imperative Programming with Session Types
Miguel Silva, Mário Florido, Frank Pfenning
Concurrent C0 is an imperative programming language in the C family with session-typed message-passing concurrency. The previously proposed semantics implements asynchronous (non-b…