Not registered as user yet

Name:Lukáš Korenčik
Affiliation:Trail of Bits

Contributions

EGRAPHS 2022 Author of On the Optimization of Equivalent Concurrent Computations within the EGRAPHS 2022-track