• Sign in
  • Sign up
conf.researchr.org / Ignacio Fábregas
  • POPL 2021 profile
  • SPLASH 2019 profile

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

Share
xSat 2 Jul 22:56
using conf.researchr.org (v1.56.1)
Support page
Sign Up