Parallel Prefix Polymorphism Permits Parallelization, Presentation & Proof

Parallel prefix done three ways in Julia

View the Project on GitHub jiahao/parallel-prefix


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.


Get the preprint pdf.

BibTeX citation:

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.

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