PLDI 2023
Sat 17 - Wed 21 June 2023 Orlando, Florida, United States
PLDI 2023 (series) / Lukasz Czajka
Lukasz Czajka

Registered user since Mon 14 Oct 2019

Name:Lukasz Czajka
Affiliation:Heliax AG
Personal website:https://lukaszcz.github.io

Contributions

PLDI 2023 Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic
Show activities from other conferences

Using general profile