| 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 | 17 | 2022 |
| Trillium: Unifying refinement and higher-order distributed separation logic A Timany, SO Gregersen, L Stefanesco, L Gondelman, A Nieto, L Birkedal | 13 | 2022 |
| Towards algorithmic typing for DOT (short paper) A Nieto Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2-7, 2017 | 12* | 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), 25: 1 …, 2020 | 10 | 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 | 8 | 2024 |
| Blame for null A Nieto, M Rapoport, G Richards, O Lhoták 34th European Conference on Object-Oriented Programming (ECOOP 2020), 3: 1-3: 28, 2020 | 6 | 2020 |
| Modular Verification of State-Based CRDTs in Separation Logic A Nieto, A Daby-Seesaram, L Gondelman, A Timany, L Birkedal | 1 | 2023 |
| Scala with explicit nulls (artifact) A Nieto, Y Zhao, O Lhoták, A Chang, J Pu Dagstuhl Artifacts Series 6 (2), 14: 1-14: 2, 2020 | 1 | 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 Dagstuhl Artifacts Series 9 (2), 15: 1-15: 5, 2023 | | 2023 |
| 37th European Conference on Object-Oriented Programming (ECOOP 2023) AD Barwell, P Hou, N Yoshida, F Zhou, J Bauwens, E Gonzalez Boix, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | | 2023 |
| Blame for Null (Artifact) A Nieto, M Rapoport, G Richards, O Lhoták Dagstuhl Artifacts Series 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 UniversityAdresă de e-mail confirmată pe cs.au.dk