Laboratoire de l'Informatique du Parallélisme

Unified toolbox for multipartite entanglement certification

We present a unified framework for multipartite entanglement characterization based on the conditional gradient (CG) method, incorporating both fast heuristic detection and rigorous witness construction with numerical error control. Our method enables entanglement certification i...

Tail Modulo Async-Await

This article extends tail-call optimisation by applying it to asynchronous calls. We first introduce TMA, a novel code transformation for asynchronous tail recursive functions that prevents the creation of unnecessary tasks. We then show how to combine TMA with the existing TMC o...

Experimental causal inference from measurements alone in the presence of spatial and temporal quantum correlations

The causal structure of a set of events specifies which events influence which others. Determining this structure, known as causal inference, is a fundamental task in science. Reset-style intervention is commonly used to determine causal structure in classical scenarios. However,...