Abel Nieto

13 papers A 3Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement.
Proc. ACM Program. Lang.
Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal
2023 J jnl
Modular Verification of State-Based CRDTs in Separation Logic (Artifact).
Dagstuhl Artifacts Ser.
Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal
2023 A conf
Modular Verification of State-Based CRDTs in Separation Logic.
ECOOP
Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal
2022 J jnl
Modular verification of op-based CRDTs in separation logic.
Proc. ACM Program. Lang.
Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, Lars Birkedal
2021 J jnl
Distributed causal memory: modular specification and verification in higher-order distributed separation logic.
Proc. ACM Program. Lang.
Léon Gondelman, Simon Oddershede Gregersen, Abel Nieto, Amin Timany, Lars Birkedal
2021 J jnl
Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic.
CoRR
Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Léon Gondelman, Abel Nieto, Lars Birkedal
2020 J jnl
Blame for Null (Artifact).
Dagstuhl Artifacts Ser.
Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták
2020 A conf
Blame for Null.
ECOOP
Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták
2020 J jnl
Scala with Explicit Nulls (Artifact).
Dagstuhl Artifacts Ser.
Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu
2020 A conf
Scala with Explicit Nulls.
ECOOP
Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu
2018 J jnl
Tamarin: Concolic Disequivalence for MIPS.
CoRR
Abel Nieto
2017 J jnl
Towards Algorithmic Typing for D
CoRR
Abel Nieto
2017 — conf
Towards algorithmic typing for DOT (short paper).
SCALA@SPLASH
Abel Nieto