Skip to content

Refinement of Parallel Algorithms down to LLVM.

Peter Lammich

VenueBITP
Year2022
ProceedingsITP

Browse the full ITP paper archive.