<div class="rug-mask js--requires-cookie-consent-trigger"><div class="rug-warning--overlay rug-hidden rug-theme--content"><span class="rug-icon rug-icon--close rug-absolute rug-absolute--top-right rug-mt-xs rug-mr-xs rug-cursor--pointer js--requires-cookie-consent-close"/><div class="rug-notification--info rug-p js-id--alert"><span class="rug-icon rug-icon--warn rug-icon--xl rug-mr-s" aria-hidden="true"/><p>We need your permission for setting certain cookies to be able to show this content.</p><p>You can <button class="rug-inline-button js--cookie-consent-popup">change your cookie settings</button>.</p></div></div></div>
{
"requiresCookieConsentCheck": "true",
"checkedCookieConsent": "no",
"hasCookieConsent": "no"
}
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. (ed.).
Springer Science and Business Media Deutschland GmbH,
p. 286-31328 p. (Lecture Notes in Computer
Science; vol. 15695 LNCS).
Research output:Chapter in
Book/Report/Conference proceeding ›Conference contribution› Academic› peer-review
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
