Not finding it? Sign in to also search OpenAlex live.
-
RMASanitizer: Generalized Runtime Detection of Data Races in Remote Memory Access Applications2024 Proceedings of the International Conference on Parallel Processing conference-paper Computer Science Parallel Computing and Optimization Techniques Open access
Simon Schwitanski, Yussur Mustafa Oraji, Cornelius Pätzold, Joachim Jenke, Felix Tomski
4citations -
Leveraging Static Analysis to Accelerate Dynamic Race Detection for Remote Memory Access Programs2024 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques
Simon Schwitanski, Yussur Mustafa Oraji, Cornelius Pätzold, Joachim Jenke, Matthias Mueller
2citations -
Towards a Hybrid MPI Correctness Benchmark Suite2022 European MPI Users' Group Meeting (EuroMPI) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access
Tim Jammer, Alexander Hück, Jan-Patrick Lehr, Joachim Protze, Simon Schwitanski, Christian H Bischof
13citations -
HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model2025 IEEE Computer Society Annual Symposium on VLSI conference-paper Computer Science Embedded Systems Design Techniques
Sascha Neske, Bryan Olmos, Shuhang Zhang, M. Kroening, Stefan Lankes, Wolfgang Gerhard Kunz, +1 more
0citations
16 results