Jaramillo, J. C., Frumin, D. & Pérez, J. A., Sept-2024, 35th International Conference on
Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A.
(eds.). Schloss Dagstuhl--Leibniz-Zentrum für
Informatik, 19 p. 30.
(Leibniz International Proceedings in Informatics, LIPIcs; vol.
311).
Research output:Chapter in
Book/Report/Conference proceeding ›Conference contribution› Academic› peer-review
van der Weide, N. & Frumin, D.,
22-May-2024, Lecture Notes in
Computer Science (including subseries Lecture Notes in Artificial
Intelligence and Lecture Notes in Bioinformatics). Capretta,
V., Krebbers, R. & Wiedijk, F. (eds.). Springer Science
and Business Media Deutschland GmbH, p.
241-25616 p. (Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics); vol.
14560 LNCS).
Research output:Chapter in
Book/Report/Conference proceeding ›Chapter› Academic› peer-review
Frumin, D., D'Osualdo, E., van den Heuvel, B. & Pérez, J. A., Oct-2022, In:
Proceedings of the ACM on Programming
Languages.6, OOPSLA2, p.
841-86929 p., 155.
Research output:Contribution to journal ›Article› Academic› peer-review
Ahrens, B., Frumin, D., Maggesi, M.,
Veltri, N. & Van Der Weide, N., 9-Mar-2022, In:
Mathematical structures in computer science.31, SI:
10, p. 1232–126938 p.
Research output:Contribution to journal ›Article› Academic› peer-review
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. (eds.). Association for
Computing Machinery, Inc, p.
100-11516 p. (CPP 2022 -
Proceedings of the 11th ACM SIGPLAN International Conference on
Certified Programs and Proofs, co-located with POPL 2022).
Research output:Chapter in
Book/Report/Conference proceeding ›Conference contribution› Academic› peer-review
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. (eds.). Association for Computing Machinery,
Inc, p. 291-30616 p. (CPP 2022 - Proceedings of the
11th ACM SIGPLAN International Conference on Certified Programs and
Proofs, co-located with POPL 2022).
Research output:Chapter in
Book/Report/Conference proceeding ›Conference contribution› Academic› peer-review
Frumin, D., Krebbers, R. &
Birkedal, L., May-2021, Proceedings -
2021 IEEE Symposium on Security and Privacy, SP 2021.Institute of Electrical and Electronics Engineers
Inc., p. 1416-143318 p. (Proceedings - IEEE Symposium on
Security and Privacy; vol. 2021-May).
Research output:Chapter in
Book/Report/Conference proceeding ›Conference contribution› Academic› peer-review
