Publications

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). Senior Honors Thesis. Carnegie Mellon University.

PDF Cite Code Poster Slides Source Document