E D’Osualdo, J Kochems, CHL Ong

Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013

E D’Osualdo, J Sutherland, A Farzan, P Gardner

ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (4), 1-134, 2021

E D'Osualdo, J Kochems, L Ong

Proceedings of the 2nd edition on Programming systems, languages and …, 2012

M Sammler, S Spies, Y Song, E D'Osualdo, R Krebbers, D Garg, D Dreyer

Proceedings of the ACM on Programming Languages 7 (POPL), 775-805, 2023

E D’Osualdo, A Farzan, D Dreyer

Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 289-314, 2022

E D’Osualdo, L Ong, A Tiu

2017 IEEE 30th Computer Security Foundations Symposium (CSF), 464-480, 2017

D Frumin, E D’Osualdo, B van den Heuvel, JA Pérez

Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 841-869, 2022

E D'Osualdo, R Meyer, G Zetzsche

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016

E D'Osualdo, F Stutz

31st International Conference on Concurrency Theory, CONCUR 2020 171 (LIPIcs …, 2020

E D’Osualdo, CHL Ong

European Symposium on Programming Languages and Systems, 149-175, 2016

E D'Osualdo

University of Oxford, 2015

E D'Osualdo, A Raad, V Vafeiadis

Proceedings of the ACM on Programming Languages 7 (POPL), 748-774, 2023

J Bao, E D'Osualdo, A Farzan

arXiv preprint arXiv:2402.18708, 2024

E D'Osualdo, L Ong

arXiv preprint arXiv:1502.00944, 2015

M SAMMLER, S SPIES, Y SONG, E D’OSUALDO, D GARG, D DREYER

E D’Osualdo, L Ong, A Tiu