Shreyansh Kulshreshtha

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Set Bounds Propagation

Combinatorial Problems

Constraint Solvers

Top Venues

Publications

Rishi Sharma, Shreyansh Kulshreshtha, Manas Thakur
ZS3: Marrying Static Analyzers and Constraint Solvers to Parallelize Loops in Managed Runtimes. CASCON (2022)
Rishi Sharma, Shreyansh Kulshreshtha, Manas Thakur
Can We Run in Parallel? Automating Loop Parallelization for TornadoVM. CoRR (2022)