Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Zak Cutner

dblp:294/3808 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
2since 2021 · last 2022
0000-0001-7180-4530ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 67% Concurrent programming · 33%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Concurrent programming
message passing
0.612022
Deadlock-free asynchronous message reordering in rust with multiparty session types · PPoPP 2022
Programming languages and type systems › type systems › behavioral type systems
multiparty session types
0.612022
Deadlock-free asynchronous message reordering in rust with multiparty session types · PPoPP 2022
Programming languages and type systems › type systems › behavioral type systems
session types
0.612022
Deadlock-free asynchronous message reordering in rust with multiparty session types · PPoPP 2022
YearPublicationVenuePosition
2022 Deadlock-free asynchronous message reordering in rust with multiparty session types
abstract
Rust is a modern systems language focused on performance and reliability. Complementing Rust's promise to provide "fearless concurrency", developers frequently exploit asynchronous message passing. Unfortunately, sending and receiving messages in an arbitrary order to maximise computation-communication overlap (a popular optimisation in message-passing applications) opens up a Pandora's box of subtle concurrency bugs.
Zak Cutner, Nobuko Yoshida, Martin Vassor
PPoPP1
2021 Safe Session-Based Asynchronous Coordination in Rust
Zak Cutner, Nobuko Yoshida
COORDINATION1