conf.researchr.org / Ignacio Fábregas

Registered user since Sat 7 Nov 2020

Name: Ignacio Fábregas

Affiliation: IMDEA Software Institute

Contributions

POPL 2021 Author of On Algebraic Abstractions for Concurrent Separation Logics within the POPL-track
SPLASH 2019 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