research
∙
11/13/2022
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq
This paper introduces Choice Trees (ctrees), a monad for modeling nondet...
share
research
∙
10/27/2022
A Survey on Parallelism and Determinism
Parallelism is often required for performance. In these situations an ex...
research
∙
02/24/2022
LAGC Semantics of Concurrent Programming Languages
Formal, mathematically rigorous programming language semantics are the e...
research
∙
07/15/2021
An Optimised Flow for Futures: From Theory to Practice
A future is an entity representing the result of an ongoing computation....
research
∙
07/21/2020
Compositional equivalences based on Open pNets
This article defines bisimulation relations for the comparison of system...
research
∙
10/24/2019
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems
On a system that exposes disjoint memory spaces to the software, a progr...
research
∙
09/11/2019
Proceedings 12th Interaction and Concurrency Experience
This volume contains the proceedings of ICE'19, the 12th Interaction and...
research
∙
08/27/2019
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
Since distributed software systems are ubiquitous, their correct functio...
research
∙
11/17/2018
On Reachability in Parameterized Phaser Programs
We address the problem of statically checking safety properties (such as...
research
∙
11/29/2017