Registered user since Mon 6 Nov 2017

Name:Joakim Öhman
Affiliation:IMDEA Software Institute

Contributions

POPL 2022 Visibility Reasoning for Concurrent Snapshot Algorithms
Show activities from other conferences

Using general profile