| 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 | 48 | 2020 |
| 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 |
| 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 | 19* | 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 | 17 | 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 |
| 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 | 9 | 2024 |
| Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs A Aguirre, PG Haselwarter, M de Medeiros, KH Li, SO Gregersen, ... arXiv preprint arXiv:2404.14223, 2024 | 2 | 2024 |
| Higher-Order Separation Logic for Distributed Systems and Security SO Gregersen PhD thesis, Aarhus University, 2023 | 1 | 2023 |
| Approximate Relational Reasoning for Higher-Order Probabilistic Programs PG Haselwarter, KH Li, A Aguirre, SO Gregersen, J Tassarotti, L Birkedal arXiv preprint arXiv:2407.14107, 2024 | | 2024 |
| Tachis: Higher-Order Separation Logic with Credits for Expected Costs PG Haselwarter, KH Li, M de Medeiros, SO Gregersen, A Aguirre, ... arXiv preprint arXiv:2405.20083, 2024 | | 2024 |
| Almost-Sure Termination by Guarded Refinement SO Gregersen, A Aguirre, PG Haselwarter, J Tassarotti, L Birkedal arXiv preprint arXiv:2404.08494, 2024 | | 2024 |
Lars BirkedalDept. of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
