27 citations · 27 across the 2 of their papers we have counts for
1 paper · 1 filter
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…