Skip to content

Logical inference techniques for loop parallelization.

Cosmin E. Oancea, Lawrence Rauchwerger

VenueA*PLDI
Year2012
ProceedingsPLDI

Browse the full PLDI paper archive.