| Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems M Krogh-Jespersen, A Timany, ME Ohlenbusch, SO Gregersen, ... European Symposium on Programming, 336-365, 2020 | 56 | 2020 |
| Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement A Timany, SO Gregersen, L Stefanesco, JK Hinrichsen, A Nieto, ... Proceedings of the ACM on Programming Languages 8 (POPL), 9:241–272, 2024 | 25* | 2024 |
| 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), 42:1-42:29, 2021 | 22 | 2021 |
| Asynchronous Probabilistic Couplings in Higher-Order Separation Logic SO Gregersen, A Aguirre, PG Haselwarter, J Tassarotti, L Birkedal Proceedings of the ACM on Programming Languages 8 (POPL), 753-784, 2024 | 21 | 2024 |
| Mechanized Logical Relations for Termination-Insensitive Noninterference SO Gregersen, J Bay, A Timany, L Birkedal Proceedings of the ACM on Programming Languages 5 (POPL), 10:1-10:29, 2021 | 21 | 2021 |
| A Dependently Typed Library for Static Information-Flow Control in Idris S Gregersen, SE Thomsen, A Askarov International Conference on Principles of Security and Trust, 51-75, 2019 | 10 | 2019 |
| Error credits: Resourceful reasoning about error bounds for higher-order probabilistic programs A Aguirre, PG Haselwarter, M de Medeiros, KH Li, SO Gregersen, ... Proceedings of the ACM on Programming Languages 8 (ICFP), 284-316, 2024 | 7 | 2024 |
| Tachis: Higher-Order Separation Logic with Credits for Expected Costs PG Haselwarter, KH Li, M de Medeiros, SO Gregersen, A Aguirre, ... Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 1189-1218, 2024 | 4 | 2024 |
| Approximate Relational Reasoning for Higher-Order Probabilistic Programs PG Haselwarter, KH Li, A Aguirre, SO Gregersen, J Tassarotti, L Birkedal Proceedings of the ACM on Programming Languages 9 (POPL), 1196-1226, 2025 | 2 | 2025 |
| Almost-Sure Termination by Guarded Refinement SO Gregersen, A Aguirre, PG Haselwarter, J Tassarotti, L Birkedal Proceedings of the ACM on Programming Languages 8 (ICFP), 203-233, 2024 | 2 | 2024 |
| Higher-Order Separation Logic for Distributed Systems and Security SO Gregersen PhD thesis, Aarhus University, 2023 | 1 | 2023 |
| Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs K Hei Li, A Aguirre, S Oddershede Gregersen, PG Haselwarter, ... arXiv e-prints, arXiv: 2503.04512, 2025 | | 2025 |
| Logical Relations for Formally Verified Authenticated Data Structures SO Gregersen, C Agarwal, J Tassarotti arXiv preprint arXiv:2501.10802, 2025 | | 2025 |
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
