3 citations · 9 across the 11 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.DC2021
Causal Consistent Replication in Reversible Concurrent Calculi
Clément Aubert
Reversible computation is key in developing new, energy-efficient paradigms, but also in providing forward-only concepts with broader definitions and finer frames of study.Among ot…
cs.LO2021★ 1 cited
An extended and more practical mwp flow analysis
Clément Aubert, Thomas Rubiano, Neea Rusch +1
We improve and refine a method for certifying that the values' sizes computed by an imperative program will be bounded by polynomials in the program's inputs' sizes. Our work ''tam…
cs.LO2021★ 1 cited
Enabling Replications and Contexts in Reversible Concurrent Calculus
Clément Aubert, Doriana Medić
Existing formalisms for the algebraic specification and representation of networks of reversible agents suffer some shortcomings. Despite multiple attempts, reversible declensions…