| 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 | 22 | 2021 |
| 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 | 13 | 2022 |
| 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 | 13 | 2021 |
| 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 | 8 | 2020 |
| 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 | 4 | 2024 |
| Blame for null A Nieto, M Rapoport, G Richards, O Lhoták 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | 4 | 2020 |
| Scala with explicit nulls A Nieto Rodriguez University of Waterloo, 2019 | 1 | 2019 |
| 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, ... | | |
Lars BirkedalDept. of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
