EDBT 2026 Demo / reviewers in the wild / expert

Martin Vassor

dblp:225/6990 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2026 A Graph Rewriting-Based Semantics and Implementation for ρ π
Julie Cailler, Martin Vassor
 RC2
2025 Encoding Choice and Replication in $\mathtt{\textbf{roll}}\text {-}\pi $
Adam D. Barwell, Ping Hou, Martin Vassor, Nobuko Yoshida
 RC3
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
 COORDINATION10
2024 Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation
Martin Vassor, Nobuko Yoshida
 ECOOP1
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
 PPoPP3
2021 Reversibility and Predictions
Martin Vassor
 RC1
2019 Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework
Jean-Bernard Stefani, Martin Vassor
 FORTE2
2018 Checkpoint/Rollback vs Causally-Consistent Reversibility
Martin Vassor, Jean-Bernard Stefani
 RC1