Paper

An Array Intermediate Language for Mixed Cryptography
We introduce AIRduct, a new array-based intermediate representation designed to support generating efficient code for interactive …
Vivian Ding, Coşku Acay, Andrew C. Myers
PDF Cite Code Project
Intersections and Unions of Session Types
We extend the deep logical connection between linear sequent calculus and session-typed concurrency with intersection and union types to express multiple behavioral properties of processes.
Coşku Acay, Frank Pfenning
PDF Cite Code Slides Source Document DOI