Not registered as user yet

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

Contributions

EGRAPHS 2022 On the Optimization of Equivalent Concurrent Computations
Show activities from other conferences

Using general profile