Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises F Jin, L Yu, T Cogumbreiro, J Shirako, V Sarkar 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023 | 1 | 2023 |
Leveraging the dynamic program structure tree to detect data races in openmp programs L Yu, F Jin, J Protze, V Sarkar 2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC …, 2022 | 1 | 2022 |
Minikokkos: A calculus of portable parallelism F Jin, J Jacobson, SD Pollard, V Sarkar 2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC …, 2022 | 1 | 2022 |
Leibniz International Proceedings in Informatics (LIPIcs): 37th European Conference on Object-Oriented Programming (ECOOP 2023) F Jin, L Yu, T Cogumbreiro, J Shirako, V Sarkar European Conference on Object-Oriented Programming, 2023 | | 2023 |
Determinacy Race Detector for Promises (Artifact) F Jin, L Yu Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023 | | 2023 |
Early notice: GenAI-based Datarace Fix for Real-World Golang Programs F Jin, Z Zhang, R Barik, G Korlam, M Chabbi | | |