Timany, A., Gregersen, S. O., Stefanesco, L.
, Hinrichsen, J. K., Gondelman, L., Nieto, A.
& Birkedal, L. (2024).
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement.
Proceedings of the ACM on Programming Languages ,
8, Article 9.
https://doi.org/10.1145/3632851
Svendsen, K. & Birkedal, L. (2014).
Impredicative concurrent abstract predicates. In Z. Shao (Ed.),
Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (pp. 149-168 ). Springer.
https://doi.org/10.1007/978-3-642-54833-8_9
Svendsen, K.
, Birkedal, L. & Nanevski, A. (2011).
Partiality, State, and Dependent Types. In
Proceedings of Typed LAmbda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 (Vol. LNCS 6690, pp. 198-212). Springer.
Svendsen, K., Birkedal, L. & Parkinson, M. (2013).
Modular Reasoning about Separation of Concurrent Data Structures. In M. Felleisen & P. Gardner (Eds.),
Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings (pp. 169-188 ). Springer.
https://doi.org/10.1007/978-3-642-37036-6_11
Strydonck, T. V.
, Georges, A. L., Guéneau, A., Trieu, A., Timany, A., Piessens, F.
, Birkedal, L. & Devriese, D. (2022).
Proving full-system security properties under multiple attacker models on capability machines. In
Proceedings - 2022 IEEE 35th Computer Security Foundations Symposium, CSF 2022 (pp. 80-95). IEEE.
https://doi.org/10.1109/CSF54842.2022.9919645
Stepanenko, S., Nardino, E., Frumin, D.
, Timany, A. & Birkedal, L. (2025).
Context-Dependent Effects in Guarded Interaction Trees. In V. Vafeiadis (Ed.),
Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings (Vol. Part II, pp. 286-313). Springer.
https://doi.org/10.1007/978-3-031-91121-7_12
Stassen, P., Møgelberg, R. E., Zwart, M. A.
, Aguirre, A. & Birkedal, L. (2025).
Modelling Recursion and Probabilistic Choice in Guarded Type Theory.
Proceedings of the ACM on Programming Languages ,
9(POPL), 1417-1445. Article 48.
https://doi.org/10.1145/3704884
Spies, S., Gäher, L.
, Gratzer, D., Tassarotti, J.
, Krebbers, R., Dreyer, D.
& Birkedal, L. (2021).
Transfinite Iris: Resolving an existential dilemma of step-indexed separation logic. In S. N. Freund & E. Yahav (Eds.),
PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 80-95). Association for Computing Machinery.
https://doi.org/10.1145/3453483.3454031
Spies, S., Gäher, L., Tassarotti, J., Jung, R., Krebbers, R.
, Birkedal, L. & Dreyer, D. (2022).
Later credits: resourceful reasoning for the later modality.
Proceedings of the ACM on Programming Languages ,
6(ICFP), Article 100.
https://doi.org/10.1145/3547631
Sørensen, J. A., Kristoffersen, K. J., Cervera, A., Schiøtz, M., Lynge, T., Safar, Z.
& Birkedal, L. (2004).
An infrastructure for context dependent mobile multimedia communication. In
2004 IEEE 6th Workshop on Multimedia Signal Processing (pp. 462-464). IEEE Press.
https://doi.org/10.1109/MMSP.2004.1436595