Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Martin Vassor
conf.researchr.org general profile
PPoPP 2022 profile
SPLASH 2023 profile
Registered user since Wed 25 Oct 2023
Name:
Martin Vassor
Affiliation:
University of Oxford, UK
Contributions
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
Sun 10 Dec 00:42