6 papers
Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
Bas van den Heuvel, Martin Sulzmann, Peter Thiemann
Deadlocks are a major source of bugs in concurrent programs. They are hard to predict, because they may only occur under specific scheduling conditions. Dynamic analysis attempts t…
A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
Bas van den Heuvel, Jorge A. Pérez
While formal models of concurrency tend to focus on synchronous communication, asynchronous communication is relevant in practice. In this paper, we will discuss asynchronous commu…
Typed Non-determinism in Concurrent Calculi: The Eager Way
Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W. N. Paulus +1
We consider the problem of designing typed concurrent calculi with non-deterministic choice in which types leverage linearity for controlling resources, thereby ensuring strong cor…
Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
Bas van den Heuvel, Jorge A. Pérez
We tackle the challenge of ensuring the deadlock-freedom property for message-passing processes that communicate asynchronously in cyclic process networks. Our contributions are tw…
Comparing Session Type Systems derived from Linear Logic
Bas van den Heuvel, Jorge A. Pérez
Session types are a typed approach to message-passing concurrency, where types describe sequences of intended exchanges over channels. Session type systems have been given strong l…
Information Flow Control in Cyclic Process Networks
Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer
Protection of confidential data is an important security consideration of today's applications. Of particular concern is to guard against unintentional leakage to a (malicious) obs…