Satisfiability

ZS3: Marrying Static Analyzers and Constraint Solvers to Parallelize Loops in Managed Runtimes
Automating Loop Parallelization for Java using Soot and Z3.
Rishi Sharma, Shreyansh Kulshreshtha, Manas Thakur
PDF Cite DOI Slides
Can we run in parallel? Automating Loop Parallelization for TornadoVM
Automating Loop Parallelization for TornadoVM using Soot and Z3.
Shreyansh Kulshreshtha, Rishi Sharma, Manas Thakur
Poster Abstract