27 citations · 27 across the 2 of their papers we have counts for
3 papers
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…
From Spot 2.0 to Spot 2.10: What's New?
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange +8
Spot is a C ++ 17 library for LTL and -automata manipulation, with command-line utilities, and Python bindings. This paper summarizes its evolution over the past six years, sinc…
Symbolic Computation via Program Transformation
Henrich Lauko, Petr Ročkai, Jiří Barnat
Symbolic computation is an important approach in automated program analysis. Most state-of-the-art tools perform symbolic computation as interpreters and directly maintain symbolic…