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