Parallel programming with inductive synthesis

Shaon Barman, Rastislav Bodik, Sagar Jain, Yewen Pu, Saurabh Srivastava, Nicholas Tung
University of California, Berkeley
3rd USENIX conference on Hot topic in parallelism (HotPar’11), 2011


   title={Parallel programming with inductive synthesis},

   author={Barman, S. and Bodik, R. and Jain, S. and Pu, Y. and Srivastava, S. and Tung, N.},

   booktitle={Proceedings of the 3rd USENIX conference on Hot topic in parallelism},



   organization={USENIX Association}


Download Download (PDF)   View View   Source Source   



We show that program synthesis can generate GPU algorithms as well as their optimized implementations. Using the scan kernel as a case study, we describe our evolving synthesis techniques. Relying on our synthesizer, we can parallelize a serial problem by transforming it into a scan operation, synthesize a SIMD scan algorithm, and optimize it to reduce memory conflicts.
No votes yet.
Please wait...

* * *

* * *

HGPU group © 2010-2021 hgpu.org

All rights belong to the respective authors

Contact us: