Fingerprint
Dive into the research topics where Mae Milano is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Building Bridges: Safe Interactions with Foreign Languages through Omniglot
Schuermann, L., Toubes, J., Potyondy, T., Pannuto, P., Milano, M. & Levy, A. A., 2025, Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2025. USENIX Association, p. 595-613 19 p. (Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Link opens in a new tab Scopus citations -
Flo: A Semantic Foundation for Progressive Stream Processing
Laddad, S., Cheung, A., Hellerstein, J. M. & Milano, M., Jan 7 2025, In: Proceedings of the ACM on Programming Languages. 9, 3704845.Research output: Contribution to journal › Article › peer-review
Open Access3 Link opens in a new tab Scopus citations -
Interactive Theorem Provers for Proof Education
Mahinpei, R., Horta Ribeiro, M. & Milano, M., Oct 9 2025, SPLASH-E 2025 - Proceedings of the 2025 ACM SIGPLAN International Symposium on SPLASH-E, Co-located with ICFP/SPLASH 2025. Henz, M., Hermans, F. & Patterson, D. (eds.). Association for Computing Machinery, Inc, p. 24-41 18 p. (SPLASH-E 2025 - Proceedings of the 2025 ACM SIGPLAN International Symposium on SPLASH-E, Co-located with ICFP/SPLASH 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Verifying a C Implementation of Derecho’s Coordination Mechanism Using VST and Coq
Nagasamudram, R., Beringer, L., Birman, K., Milano, M. & Naumann, D. A., 2024, NASA Formal Methods - 16th International Symposium, NFM 2024, Proceedings. Benz, N., Gopinath, D. & Shi, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 99-117 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14627 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Link opens in a new tab Scopus citations -
Welcome from the Chairs
Milano, M. & Taylor, S., Sep 2 2024, In: FARM 2024 - Proceedings of the 12th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, Co-located with: ICFP 2024. p. IIIResearch output: Contribution to journal › Editorial › peer-review