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]
@inproceedings{SharmaKT22-1,
title = {ZS3: Marrying Static Analyzers and Constraint Solvers to Parallelize Loops in Managed Runtimes},
author = {Rishi Sharma and Shreyansh Kulshreshtha and Manas Thakur},
year = {2022},
url = {https://dl.acm.org/doi/10.5555/3566055.3566082},
researchr = {https://researchr.org/publication/SharmaKT22-1},
cites = {0},
citedby = {0},
pages = {213-220},
booktitle = {Proceedings of the 32nd Annual International Conference on Computer Science and Software Engineering, CASCON 2022, Toronto, Ontario, Canada, November 15-17, 2022},
editor = {Paria Shirani and Iosif-Viorel Onut and Tinny Ng},
publisher = {ACM},
}