Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Arthur Oliveira Vale
conf.researchr.org general 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
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
Thu 21 Nov 15:36