Abel Nieto

Distributed causal memory: modular specification and verification in higher-order distributed separation logic

Léon Gondelman, Simon Oddershede Gregersen, Abel Nieto et al. · Proceedings of the ACM on Programming Languages · 2021 · 17 citations · Full text

Computing, Computer Science, Computer Systems +17

Modular verification of op-based CRDTs in separation logic

Abel Nieto, Léon Gondelman, Alban Reynaud et al. · Proceedings of the ACM on Programming Languages · 2022 · 15 citations · Full text

Computing, Computer Engineering, Computer Science +14

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco et al. · Proceedings of the ACM on Programming Languages · 2024 · 11 citations · Full text

Computing, Computer Science, Computer Systems +15