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.

Manuscript

Get the preprint pdf.

BibTeX citation:

@inproceedings{Chen2014,
Title = {Parallel Prefix Polymorphism Permits Parallelization, Presentation & Proof},
Author = {Jiahao Chen and Alan Edelman},
Booktitle = {Proceedings of the 1st Workshop on High Performance Technical Computing in Dynamic Languages},
Publisher = {ACM},
Address = {New York, NY},
Year = {2014}}

Accompanying IJulia Notebook

Get it on Github here.

Polymorphic Parallel Prefix by Jiahao Chen is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.