Follow
Coşku Acay
Coşku Acay
Cornell University
Verified email at cs.cornell.edu - Homepage
Title
Cited by
Cited by
Year
Viaduct: an extensible, optimizing compiler for secure distributed programs
C Acay, R Recto, J Gancher, AC Myers, E Shi
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
322021
Intersections and Unions of Session Types
C Acay, F Pfenning
Proceedings Eighth Workshop on Intersection Types and Related Systems 242, 4–19, 2017
52017
Refinements for Session Typed Concurrency
C Acay
Carnegie Mellon University, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–3