12 citations · 43 across the 19 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023
Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed
Wenhao Wu, Jan Hückelheim, Paul D. Hovland +2
Many parallel programming models guarantee that if all sequentially consistent (SC) executions of a program are free of data races, then all executions of the program will appear t…
cs.PL2021
Customized Monte Carlo Tree Search for LLVM/Polly's Composable Loop Optimization Transformations
Jaehoon Koo, Prasanna Balaprakash, Michael Kruse +3
Polly is the LLVM project's polyhedral loop nest optimizer. Recently, user-directed loop transformation pragmas were proposed based on LLVM/Clang and Polly. The search space expose…