• Sign in
  • Sign up
conf.researchr.org / Joakim Öhman
  • PLDI 2022 profile
  • POPL 2018 profile
  • POPL 2021 profile
  • POPL 2022 profile
No Photo

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
xMon 19 May 05:53
using conf.researchr.org (v1.69.0)
Support page
Sign Up