A Tour of Gallifrey, a Language for Geodistributed Programming. - Mae Milano; Rolph Recto; Tom Magrino; Andrew C. Myers (SNAPL, 2019)

Viaduct: an extensible, optimizing compiler for secure distributed programs. - Cosku Acay; Rolph Recto; Joshua Gancher; Andrew C. Myers; Elaine Shi (PLDI, 2021)

Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs (Technical Report). - Cosku Acay; Rolph Recto; Joshua Gancher; Andrew C. Myers; Elaine Shi (IACR Cryptol. ePrint Arch., 2021)

A Compiler from Array Programs to Vectorized Homomorphic Encryption. - Rolph Recto; Andrew C. Myers (CoRR, 2023)

Secure Synthesis of Distributed Cryptographic Applications. - Cosku Acay; Joshua Gancher; Rolph Recto; Andrew C. Myers (CSF, 2024)

Secure Synthesis of Distributed Cryptographic Applications (Technical Report). - Cosku Acay; Joshua Gancher; Rolph Recto; Andrew C. Myers (CoRR, 2024)