On the Optimization of Equivalent Concurrent Computations

Henrich Lauko, Lukáš Korenčik, Peter Goodman

In this submission, we explore the use of equality saturation to optimize concurrent computations. A concurrent environment gives rise to new optimization opportunities, like extra…