Towards algorithmic typing for DOT (short paper). - Abel Nieto (SCALA@SPLASH, 2017)

Towards Algorithmic Typing for D<:. - Abel Nieto (CoRR, 2017)

Tamarin: Concolic Disequivalence for MIPS. - Abel Nieto (CoRR, 2018)

Blame for Null. - Abel Nieto; Marianna Rapoport; Gregor Richards; Ondrej Lhoták (ECOOP, 2020)

Scala with Explicit Nulls. - Abel Nieto; Yaoyu Zhao; Ondrej Lhoták; Angela Chang; Justin Pu (ECOOP, 2020)

Blame for Null (Artifact). - Abel Nieto; Marianna Rapoport; Gregor Richards; Ondrej Lhoták (Dagstuhl Artifacts Ser., 2020)

Scala with Explicit Nulls (Artifact). - Abel Nieto; Yaoyu Zhao; Ondrej Lhoták; Angela Chang; Justin Pu (Dagstuhl Artifacts Ser., 2020)

Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic. - Amin Timany; Simon Oddershede Gregersen; Léo Stefanesco; Léon Gondelman; Abel Nieto; Lars Birkedal (CoRR, 2021)

Distributed causal memory: modular specification and verification in higher-order distributed separation logic. - Léon Gondelman; Simon Oddershede Gregersen; Abel Nieto; Amin Timany; Lars Birkedal (Proc. ACM Program. Lang., 2021)

Modular verification of op-based CRDTs in separation logic. - Abel Nieto; Léon Gondelman; Alban Reynaud; Amin Timany; Lars Birkedal (Proc. ACM Program. Lang., 2022)

Modular Verification of Op-Based CRDTs in Separation Logic (Proof Artifact). - Abel Nieto; Léon Gondelman; Alban Reynaud; Amin Timany; Lars Birkedal (Zenodo, 2022)

Modular Verification of Op-Based CRDTs in Separation Logic (Proof Artifact). - Abel Nieto; Léon Gondelman; Alban Reynaud; Amin Timany; Lars Birkedal (Zenodo, 2022)

Modular Verification of State-Based CRDTs in Separation Logic. - Abel Nieto; Arnaud Daby-Seesaram; Léon Gondelman; Amin Timany; Lars Birkedal (ECOOP, 2023)

Modular Verification of State-Based CRDTs in Separation Logic (Artifact). - Abel Nieto; Arnaud Daby-Seesaram; Léon Gondelman; Amin Timany; Lars Birkedal (Dagstuhl Artifacts Ser., 2023)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement - Coq Artifact. - Amin Timany; Simon Oddershede Gregersen; Léo Stefanesco; Jonas Kastberg Hinrichsen; Léon Gondelman; Abel Nieto; Lars Birkedal (Zenodo, 2023)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement. - Amin Timany; Simon Oddershede Gregersen; Léo Stefanesco; Jonas Kastberg Hinrichsen; Léon Gondelman; Abel Nieto; Lars Birkedal (Proc. ACM Program. Lang., 2024)