10 citations · 13 across the 4 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022★ 10 cited
A Survey on Parallelism and Determinism
Laure Gonnord, Ludovic Henrio, Lionel Morel +1
Parallelism is often required for performance. In these situations an excess of non-determinism is harmful as it means the program can have several different behaviours or even dif…
cs.LO2022
Analysing Parallel Complexity of Term Rewriting
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
We revisit parallel-innermost term rewriting as a model of parallel computation on inductive data structures and provide a corresponding notion of runtime complexity parametric in…