Intersections and Unions of Session Types. - Cosku Acay; Frank Pfenning (ITRS, 2016)

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)

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)

An Array Intermediate Language for Mixed Cryptography. - Vivian Ding; Cosku Acay; Andrew C. Myers (CoRR, 2024)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report). - Silei Ren; Cosku Acay; Andrew C. Myers (CoRR, 2025)