| Interactive proofs in higher-order concurrent separation logic R Krebbers, A Timany, L Birkedal Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 178 | 2017 |
| MoSeL: A general, extensible modal framework for interactive proofs in separation logic R Krebbers, JH Jourdan, R Jung, J Tassarotti, JO Kaiser, A Timany, ... Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018 | 89 | 2018 |
| A logical relation for monadic encapsulation of state: Proving contextual equivalences in the presence of runST A Timany, L Stefanesco, M Krogh-Jespersen, L Birkedal Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017 | 65 | 2017 |
| The future is ours: prophecy variables in separation logic R Jung, R Lepigre, G Parthasarathy, M Rapoport, A Timany, D Dreyer, ... Proceedings of the ACM on Programming Languages 4 (POPL), 1-32, 2019 | 58 | 2019 |
| 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 | 39 | 2020 |
| Efficient and provable local capability revocation using uninitialized capabilities AL Georges, A Guéneau, T Van Strydonck, A Timany, A Trieu, ... Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021 | 33 | 2021 |
| Mechanized relational verification of concurrent programs with continuations A Timany, L Birkedal Proceedings of the ACM on Programming Languages 3 (ICFP), 1-28, 2019 | 29 | 2019 |
| Consistency of the predicative calculus of cumulative inductive constructions (pcuic) A Timany, M Sozeau arXiv preprint arXiv:1710.03912, 2017 | 21 | 2017 |
| Scala step-by-step: Soundness for dot with step-indexed logical relations in Iris PG Giarrusso, L Stefanesco, A Timany, L Birkedal, R Krebbers Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020 | 18 | 2020 |
| Cumulative inductive types in Coq A Timany, M Sozeau LIPIcs: Leibniz International Proceedings in Informatics, 2018 | 18 | 2018 |
| 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 | 17 | 2021 |
| Category Theory in Coq 8.5 A Timany, B Jacobs 1st International Conference on Formal Structures for Computation and …, 2016 | 17 | 2016 |
| Mechanized logical relations for termination-insensitive noninterference SO Gregersen, J Bay, A Timany, L Birkedal Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021 | 16 | 2021 |
| Fully abstract from static to gradual K Jacobs, A Timany, D Devriese Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021 | 13 | 2021 |
| Reasoning about monotonicity in separation logic A Timany, L Birkedal Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021 | 12 | 2021 |
| 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, 2021 | 11 | 2021 |
| First steps towards cumulative inductive types in CIC A Timany, B Jacobs Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015 | 11 | 2015 |
| 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 | 8 | 2022 |
| Verifying reliable network components in a distributed separation logic with dependent separation protocols L Gondelman, JK Hinrichsen, M Pereira, A Timany, L Birkedal Proceedings of the ACM on Programming Languages 7 (ICFP), 847-877, 2023 | 7 | 2023 |
| Proving full-system security properties under multiple attacker models on capability machines T Van Strydonck, AL Georges, A Guéneau, A Trieu, A Timany, F Piessens, ... 2022 IEEE 35th Computer Security Foundations Symposium (CSF), 80-95, 2022 | 7 | 2022 |
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
