Zak Cutner

According to our database, Zak Cutner authored at least 3 papers between 2021 and 2022.

Collaborative distances:

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

2022

Deadlock-free asynchronous message reordering in rust with multiparty session types.

Zak Cutner, Nobuko Yoshida, Martin Vassor

Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

2021

Artifact: Deadlock-Free Asynchronous Message Reoerderign in Rust with Multiparty Session Types.

Zak Cutner, Nobuko Yoshida, Martin Vassor

Dataset, December, 2021

Safe Session-Based Asynchronous Coordination in Rust.

Zak Cutner, Nobuko Yoshida

Proceedings of the Coordination Models and Languages, 2021