Towards Increased Datacenter Efficiency with Soft Memory. - Megan Frisella; Shirley Loayza Sanchez; Malte Schwarzkopf (HotOS, 2023)

Towards ML System Extensibility. - Weixin Deng; Andy Ruan; Megan Frisella; Kai-Hsun Chen; SangBin Cho; Jack Tigar Humphries; Rui Qiao; Stephanie Wang (HotOS, 2025)

PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs. - Gabriel Ebner; Guido Martínez; Aseem Rastogi; Thibault Dardinier; Megan Frisella; Tahina Ramananandro; Nikhil Swamy (Proc. ACM Program. Lang., 2025)