Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan. Verifying Reachability for TSO Programs with Dynamic Thread Creation. In Mohammed-Amine Koulali, Mira Mezini, editors, Networked Systems - 10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, Proceedings. Volume 13464 of Lecture Notes in Computer Science, pages 283-300, Springer, 2022. [doi]
Abstract is missing.