Abel Nieto

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 13

Top Topics

Lambda Calculus

Higher Order Logic

Distributed Environment

Automated Reasoning

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

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