Follow
Abel Nieto
Title
Cited by
Cited by
Year
Distributed causal memory: modular specification and verification in higher-order distributed separation logic
L Gondelman, SO Gregersen, A Nieto, A Timany, L Birkedal
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
222021
Modular verification of op-based CRDTs in separation logic
A Nieto, L Gondelman, A Reynaud, A Timany, L Birkedal
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1788-1816, 2022
132022
Trillium: Unifying refinement and higher-order distributed separation logic
A Timany, SO Gregersen, L Stefanesco, L Gondelman, A Nieto, L Birkedal
arXiv preprint arXiv:2109.07863, 27, 2021
132021
Towards algorithmic typing for DOT (short paper)
A Nieto
Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2-7, 2017
11*2017
Scala with explicit nulls
A Nieto, Y Zhao, O Lhoták, A Chang, J Pu
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
82020
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
A Timany, SO Gregersen, L Stefanesco, JK Hinrichsen, L Gondelman, ...
Proceedings of the ACM on Programming Languages 8 (POPL), 241-272, 2024
52024
Blame for null
A Nieto, M Rapoport, G Richards, O Lhoták
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
42020
Scala with explicit nulls
A Nieto Rodriguez
University of Waterloo, 2019
12019
Modular Verification of State-Based CRDTs in Separation Logic (Artifact)
A Nieto, A Daby-Seesaram, L Gondelman, A Timany, L Birkedal
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023
2023
Modular Verification of State-Based CRDTs in Separation Logic
A Nieto, A Daby-Seesaram, L Gondelman, A Timany, L Birkedal
2023
Scala with Explicit Nulls (Artifact).
A Nieto, Y Zhao, O Lhoták, A Chang, J Pu
Dagstuhl Artifacts Ser. 6 (2), 14:1-14:2, 2020
2020
Blame for Null (Artifact).
A Nieto, M Rapoport, G Richards, O Lhoták
Dagstuhl Artifacts Ser. 6 (2), 10:1-10:2, 2020
2020
Tamarin: Concolic Disequivalence for MIPS
A Nieto
arXiv preprint arXiv:1801.02571, 2018
2018
Trillium: History-Sensitive Refinement in Separation Logic
A TIMANY, SO GREGERSEN, LÉO STEFANESCO, L GONDELMAN, ...
The system can't perform the operation now. Try again later.
Articles 1–14