Publications

(2023). Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. In ECOOP 2023.

PDF Cite Code Slides DOI

(2022). Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs. In Correctness 2022.

PDF Cite Code Slides DOI

(2020). A Study of Memory Anomalies in OpenMP Applications. In IWOMP 2020.

PDF Cite Slides DOI

(2019). DataRaceOnAccelerator – a Micro-Benchmark Suite for Evaluating Correctness Tools Targeting Accelerators. In Euro-Par 2019 Workshop.

PDF Cite Code DOI

(2017). A Marshalled Data Format for Pointers in Relocatable Data Blocks. In ISMM 2017.

PDF Cite DOI