Demo Data from SIGIR 2026 / reviewers in the wild / expert
Martin Vassor
dblp:225/6990
· DBLP profile ↗
8ranked-venue papers
3as first author
6since 2021 · last 2026
0000-0002-2057-0495ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 2 first-author · 3 since 2021Applied, interdisciplinary, general and emerging computing · 4 · 2 first-author · 3 since 2021Software engineering, systems software and programming languages · 2 · 1 first-author · 1 since 2021Systems, architecture and hardware · 1 · 1 since 2021Computer networks · 1
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Concurrent programming
message passing |
0.6 | 1 | 2022 | 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.6 | 1 | 2022 | 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.6 | 1 | 2022 | Deadlock-free asynchronous message reordering in rust with multiparty session types · PPoPP 2022 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | A Graph Rewriting-Based Semantics and Implementation for ρ π
Julie Cailler, Martin Vassor |
RC | 2 |
| 2025 | Encoding Choice and Replication in $\mathtt{\textbf{roll}}\text {-}\pi $
Adam D. Barwell, Ping Hou, Martin Vassor, Nobuko Yoshida |
RC | 3 |
| 2024 | The Concurrent Calculi Formalisation Benchmark
Marco Carbone, David Castro-Perez, Francisco Ferreira 0001, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon |
COORDINATION | 10 |
| 2024 | Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation
Martin Vassor, Nobuko Yoshida |
ECOOP | 1 |
| 2022 | Deadlock-free asynchronous message reordering in rust with multiparty session typesabstractRust 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 |
PPoPP | 3 |
| 2021 | Reversibility and Predictions
Martin Vassor |
RC | 1 |
| 2019 | Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework
Jean-Bernard Stefani, Martin Vassor |
FORTE | 2 |
| 2018 | Checkpoint/Rollback vs Causally-Consistent Reversibility
Martin Vassor, Jean-Bernard Stefani |
RC | 1 |