Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Arthur Oliveira Vale
conf.researchr.org general profile
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
x
Sun 12 Apr 19:10