Rishi Sharma, Shreyansh Kulshreshtha, Manas Thakur. ZS3: Marrying Static Analyzers and Constraint Solvers to Parallelize Loops in Managed Runtimes. In Paria Shirani, Iosif-Viorel Onut, Tinny Ng, editors, Proceedings of the 32nd Annual International Conference on Computer Science and Software Engineering, CASCON 2022, Toronto, Ontario, Canada, November 15-17, 2022. pages 213-220, ACM, 2022. [doi]
Abstract is missing.