Login / Signup
Zak Cutner
ORCID
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Deadlock Free
Privacy Preserving
Multiagent Coordination
Fine Grained
Top Venues
CoRR
COORDINATION
PPoPP
</>
Publications
</>
Zak Cutner
,
Nobuko Yoshida
,
Martin Vassor
Deadlock-free asynchronous message reordering in rust with multiparty session types.
PPoPP
(2022)
Zak Cutner
,
Nobuko Yoshida
,
Martin Vassor
Deadlock-free asynchronous message reordering in Rust with multiparty session types.
CoRR
(2021)
Zak Cutner
,
Nobuko Yoshida
Safe Session-Based Asynchronous Coordination in Rust.
COORDINATION
(2021)