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
2022
PLDI
Author of (POPL 2022) Visibility Reasoning for Concurrent Snapshot Algorithms within the SIGPLAN Track-track
POPL
Author of Visibility Reasoning for Concurrent Snapshot Algorithms within the POPL-track
2021
VMCAI
Committee Member in Artifact Evaluation Committee within the VMCAI-track
2018
POPL
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
Fri 2 May 09:01
