• Sign in
  • Sign up
conf.researchr.org / Arthur Oliveira Vale
  • ECOOP 2026 profile
  • ECOOP and ISSTA 2023 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • SPLASH 2024 profile

Registered user since Thu 21 Nov 2019

Name:Arthur Oliveira Vale

Contributions

2026

ECOOP

  • Author of A Complete Program Logic for Compositional Linearizability within the Technical Papers-track

2024

SPLASH

  • Author of Compositionality and Observational Refinement for Linearizability with Crashes within the OOPSLA 2024-track

2023

ECOOP

  • External Reviewer in Extended Review Committee and External Reviewers within the Research Papers-track

POPL

  • Author of A Compositional Theory of Linearizability within the POPL-track

2022

POPL

  • Author of Layered and Object-Based Game Semantics within the POPL-track
Share
xSun 12 Apr 19:10
using conf.researchr.org (v1.73.2)
Support page
Sign Up