Login / Signup
Felix Tomski
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Communication Protocols
Multi Party
Distributed Memory
Share Information
Top Venues
IPDPS Workshops
Correctness@SC
SC Workshops
</>
Publications
</>
Simon Schwitanski
,
Niko Sakic
,
Joachim Jenke
,
Felix Tomski
,
Marc-André Hermanns
Towards Correctness Checking of MPI Partitioned Communication in MUST.
SC Workshops
(2023)
Simon Schwitanski
,
Felix Tomski
,
Joachim Protze
,
Christian Terboven
,
Matthias S. Müller
An On-the-Fly Method to Exchange Vector Clocks in Distributed-Memory Programs.
IPDPS Workshops
(2022)
Simon Schwitanski
,
Joachim Jenke
,
Felix Tomski
,
Christian Terboven
,
Matthias S. Müller
On-the-Fly Data Race Detection for MPI RMA Programs with MUST.
Correctness@SC
(2022)