Abel Nieto

According to our database, Abel Nieto authored at least 16 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

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., January, 2024

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

Dataset, November, 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

Modular Verification of State-Based CRDTs in Separation Logic.

Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Modular Verification of Op-Based CRDTs in Separation Logic (Proof Artifact).

Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, Lars Birkedal

Dataset, July, 2022

Modular Verification of Op-Based CRDTs in Separation Logic (Proof Artifact).

Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, Lars Birkedal

Dataset, July, 2022

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

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

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

2020

Scala with Explicit Nulls (Artifact).

Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu

Dagstuhl Artifacts Ser., 2020

Blame for Null (Artifact).

Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták

Dagstuhl Artifacts Ser., 2020

Scala with Explicit Nulls.

Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

Blame for Null.

Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2018

Tamarin: Concolic Disequivalence for MIPS.

Abel Nieto

CoRR, 2018

2017

Towards Algorithmic Typing for D_<:.

Abel Nieto

CoRR, 2017

Towards algorithmic typing for DOT (short paper).

Abel Nieto

Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2017