Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Joakim Öhman
conf.researchr.org general profile
PLDI 2022 profile
POPL 2018 profile
POPL 2021 profile
POPL 2022 profile
Registered user since Mon 6 Nov 2017
Name:
Joakim Öhman
Country:
Spain
Affiliation:
IMDEA Software Institute; Universidad Politécnica de Madrid
Contributions
PLDI 2022
Author of (POPL 2022) Visibility Reasoning for Concurrent Snapshot Algorithms within the SIGPLAN Track-track
POPL 2022
Author of Visibility Reasoning for Concurrent Snapshot Algorithms within the POPL-track
VMCAI 2021
Committee Member in Artifact Evaluation Committee within the VMCAI-track
POPL 2018
Author of Decidability of Conversion for Type Theory in Type Theory within the Artifact Evaluation-track
Author of Decidability of Conversion for Type Theory in Type Theory within the Research Papers-track
Share
x
Tue 30 May 06:13