Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Martin Vassor
conf.researchr.org general profile
ISSTA/ECOOP 2024 profile
PPoPP 2022 profile
SPLASH 2023 profile
Registered user since Wed 25 Oct 2023
Name:
Martin Vassor
Country:
France
Affiliation:
Université de Lorraine; CNRS; Inria; LORIA
Contributions
2024
ECOOP
Author of Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation within the Technical Papers-track
2023
ST
Author of The Concurrent Calculi Formalisation Benchmark within the ST30-track
Author of Benchmarks for Multiparty Session Types within the ST30-track
2022
Principles and Practice of Parallel Programming
Author of Deadlock-Free Asynchronous Message Reordering in Rust with Multiparty Session Types within the Main Conference-track
Share
x
Sat 21 Dec 19:10