Publications

Coşku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers (2024). Secure Synthesis of Distributed Cryptographic Applications. CSF 2024.

Cite Code Project Tech Report

Coşku Acay (2023). Provably Correct Compilation for Distributed Cryptographic Applications. Cornell University.

PDF Cite Code Project Slides DOI

Vivian Ding, Coşku Acay, Andrew C. Myers (2023). An Array Intermediate Language for Mixed Cryptography. FCS 2023.

PDF Cite Code Project

Coşku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi (2021). Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs. PLDI 2021.

PDF Cite Code Project Video DOI Tech Report

Coşku Acay, Frank Pfenning (2016). Intersections and Unions of Session Types. ITRS 2016.

PDF Cite Code Slides Source Document DOI

Coşku Acay (2016). Refinements for Session Typed Concurrency. Carnegie Mellon University.

PDF Cite Code Poster Slides Source Document