Title :
Parallel Prefix Polymorphism Permits Parallelization, Presentation & Proof
Author :
Jiahao Chen ; Edelman, Alan
Author_Institution :
Comput. Sci. & Artificial Intell. Lab., Massachusetts Inst. of Technol., Cambridge, MA, USA
Abstract :
Polymorphism in programming languages enables code reuse. Here, we show that polymorphism has broad applicability far beyond computations for technical computing: parallelism in distributed computing, presentation of visualizations of runtime data flow, and proofs for formal verification of correctness. The ability to reuse a single codebase for all these purposes provides new ways to understand and verify parallel programs.
Keywords :
data flow analysis; data visualisation; parallel languages; parallel programming; program verification; codebase reuse; distributed computing; formal verification; parallel prefix polymorphism; parallel program verification; parallelization; programming languages; runtime data flow visualization; technical computing; Algorithm design and analysis; Arrays; Computer languages; Data visualization; Instruments; Kernel; Syntactics; Julia; prefix sum; scan; parallel prefix; polymorphism; instrumentation; visualization;
Conference_Titel :
High Performance Technical Computing in Dynamic Languages (HPTCDL), 2014 First Workshop for
DOI :
10.1109/HPTCDL.2014.9
