ZS3: Marrying Static Analyzers and Constraint Solvers to Parallelize Loops in Managed Runtimes

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]

Authors

Rishi Sharma

This author has not been identified. Look up 'Rishi Sharma' in Google

Shreyansh Kulshreshtha

This author has not been identified. Look up 'Shreyansh Kulshreshtha' in Google

Manas Thakur

This author has not been identified. Look up 'Manas Thakur' in Google