Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ignacio Fábregas
conf.researchr.org general profile
POPL 2021 profile
SPLASH 2019 profile
Registered user since Sat 7 Nov 2020
Name:
Ignacio Fábregas
Affiliation:
IMDEA Software Institute
Contributions
2021
POPL
Author of On Algebraic Abstractions for Concurrent Separation Logics within the POPL-track
2019
SPLASH
Author of Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations within the OOPSLA-track
Author of Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations within the OOPSLA Artifacts-track
Share
x
Thu 21 Nov 12:36