Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pilar Selene Linares Arévalo
conf.researchr.org general profile
APLAS 2025 profile
ATVA 2025 profile
SPLASH 2022 profile
‹Programming› 2023 profile
Not registered as user
Name:
Pilar Selene Linares Arévalo
Country:
Australia
Affiliation:
University of Melbourne
Contributions
2025
ATVA
Author of Memory Safety: Uniqueness as Separation within the APLAS Papers-track
APLAS
Author of Memory Safety: Uniqueness as Separation. within the Research Papers-track
2023
VIMPL
Author of Uniqueness is Separation within the VIMPL 2023-track
2022
SPLASH
Author of Composing Linear Types and Separation Logic Proofs of Memory Safety within the Posters-track
Share
x
Sat 1 Nov 10:11