Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pilar Selene Linares Arévalo
conf.researchr.org general profile
SPLASH 2022 profile
‹Programming› 2023 profile
Not registered as user yet
Name:
Pilar Selene Linares Arévalo
Country:
Australia
Affiliation:
University of Melbourne
Contributions
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
Thu 18 Apr 08:15