Cosku Acay

According to our database, Cosku Acay authored at least 4 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Secure Synthesis of Distributed Cryptographic Applications (Technical Report).

Cosku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers

CoRR, 2024

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

Viaduct: an extensible, optimizing compiler for secure distributed programs.

Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2016

Intersections and Unions of Session Types.

Cosku Acay, Frank Pfenning

Proceedings of the Proceedings Eighth Workshop on Intersection Types and Related Systems, 2016