Formal Foundations of Serverless Computing. - Abhinav Jangda; Donald Pinckney; Samuel Baxter; Breanna Devore-McDonald; Joseph Spitzer; Yuriy Brun; Arjun Guha (CoRR, 2019)

Mossad: defeating software plagiarism detection. - Breanna Devore-McDonald; Emery D. Berger (Proc. ACM Program. Lang., 2020)