Felix Tomski

Orcid: 0000-0003-3137-5596

According to our database1, Felix Tomski authored at least 11 papers between 2022 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Extending the SPMD IR for RMA Models and Static Data Race Detection.
Proceedings of the Recent Advances in the Message Passing Interface, 2025

2024
RMASanitizer: Runtime Detection of Data Races in Remote Memory Access Applications - Computational Artifact.
Dataset, July, 2024

RMASanitizer: Runtime Detection of Data Races in RMA Applications - Computational Artifact.
Dataset, July, 2024

RMASanitizer: Runtime Detection of Data Races in RMA Applications - Computational Artifact.
Dataset, June, 2024

Correctness Checking of MPI+OpenMP Applications Using Vector Clocks in MUST.
Proceedings of the SC24-W: Workshops of the International Conference for High Performance Computing, 2024

RMASanitizer: Generalized Runtime Detection of Data Races in Remote Memory Access Applications.
Proceedings of the 53rd International Conference on Parallel Processing, 2024

2023
Towards Correctness Checking of MPI Partitioned Communication in MUST.
Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023

2022
On-the-Fly Data Race Detection for MPI RMA Programs with MUST - Supplemental Material.
Dataset, October, 2022

An On-the-Fly Method to Exchange Vector Clocks in Distributed-Memory Programs - Supplemental Material.
Dataset, May, 2022

An On-the-Fly Method to Exchange Vector Clocks in Distributed-Memory Programs.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2022

On-the-Fly Data Race Detection for MPI RMA Programs with MUST.
Proceedings of the Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2022


  Loading...