Parallel programming with inductive synthesis

Shaon Barman,Rastislav Bodik,Sagar Jain,Yewen Pu,Saurabh Srivastava, Nicholas Tung

HotPar'11: Proceedings of the 3rd USENIX conference on Hot topic in parallelism（2011）

引用 0|浏览51

暂无评分

摘要

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.

查看译文

关键词

program synthesis,synthesis technique,GPU algorithm,case study,memory conflict,optimized implementation,serial problem,inductive synthesis,parallel programming

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要