Stepanenko, S., Nardino, E., Frumin,
D., Timany, A. & Birkedal, L., 2025, 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. Vafeiadis, V. (reds.).
Springer Science and Business Media Deutschland GmbH,
blz. 286-31328 blz. (Lecture Notes in Computer
Science; vol. 15695 LNCS).
Jaramillo, J. C., Frumin, D. & Pérez, J. A., sep-2024, 35th International Conference on
Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A.
(reds.). Schloss Dagstuhl--Leibniz-Zentrum für
Informatik, 19 blz. 30.
(Leibniz International Proceedings in Informatics, LIPIcs; vol.
311).
van der Weide, N. & Frumin, D.,
22-mei-2024, Lecture Notes in
Computer Science (including subseries Lecture Notes in Artificial
Intelligence and Lecture Notes in Bioinformatics). Capretta,
V., Krebbers, R. & Wiedijk, F. (reds.). Springer Science
and Business Media Deutschland GmbH, blz. 241-25616
blz. (Lecture Notes in Computer Science (including subseries
Lecture Notes in Artificial Intelligence and Lecture Notes in
Bioinformatics); vol. 14560 LNCS).
Frumin, D., D'Osualdo, E., van den Heuvel, B. & Pérez, J. A., okt-2022, In:
Proceedings of the ACM on Programming
Languages.6, OOPSLA2, blz.
841-86929 blz., 155.
Ahrens, B., Frumin, D., Maggesi, M.,
Veltri, N. & Van Der Weide, N., 9-mrt-2022, In:
Mathematical structures in computer science.31, SI:
10, blz. 1232–126938 blz.
Vindum, S. F., Frumin, D. &
Birkedal, L., 17-jan-2022, CPP 2022 -
Proceedings of the 11th ACM SIGPLAN International Conference on
Certified Programs and Proofs, co-located with POPL 2022.
Popescu, A. & Zdancewic, S. (reds.). Association for
Computing Machinery, Inc, blz.
100-11516 blz. (CPP 2022
- Proceedings of the 11th ACM SIGPLAN International Conference on
Certified Programs and Proofs, co-located with POPL 2022).
Frumin, D., 17-jan-2022, CPP 2022 - Proceedings of the
11th ACM SIGPLAN International Conference on Certified Programs and
Proofs, co-located with POPL 2022. Popescu, A. &
Zdancewic, S. (reds.). Association for Computing Machinery,
Inc, blz. 291-30616 blz. (CPP 2022 - Proceedings of the
11th ACM SIGPLAN International Conference on Certified Programs and
Proofs, co-located with POPL 2022).
Frumin, D., Krebbers, R. &
Birkedal, L., mei-2021, Proceedings -
2021 IEEE Symposium on Security and Privacy, SP 2021.Institute of Electrical and Electronics Engineers
Inc., blz. 1416-143318 blz. (Proceedings - IEEE Symposium
on Security and Privacy; vol. 2021-May).
