FHPC 2017 – Proceedings

6th ACM SIGPLAN International Workshop on Functional High-Performance Computing (FHPC 2017)

Frontmatter

Compilation

From High-Level Radio Protocol Specifications to Efficient Low-Level Implementations via Partial Evaluation
Geoffrey Mainland and Siddhanathan Shanmugam
(Drexel University, USA)


@InProceedings{FHPC17p1, author = {Geoffrey Mainland and Siddhanathan Shanmugam}, title = {From High-Level Radio Protocol Specifications to Efficient Low-Level Implementations via Partial Evaluation}, booktitle = {Proc.\ FHPC}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, }

Destination-Passing Style for Efficient Memory Management
Amir Shaikhha, Andrew Fitzgibbon, Simon Peyton Jones, and Dimitrios Vytiniotis
(EPFL, Switzerland; Microsoft, UK; Microsoft Research, UK)


@InProceedings{FHPC17p14, author = {Amir Shaikhha and Andrew Fitzgibbon and Simon Peyton Jones and Dimitrios Vytiniotis}, title = {Destination-Passing Style for Efficient Memory Management}, booktitle = {Proc.\ FHPC}, publisher = {ACM}, pages = {14-13}, doi = {}, year = {2017}, }

Tool

VisPar: Visualising Dataflow Graphs from the Par Monad
Maximilian Algehed and Patrik Jansson
(Chalmers University of Technology, Sweden)


@InProceedings{FHPC17p27, author = {Maximilian Algehed and Patrik Jansson}, title = {VisPar: Visualising Dataflow Graphs from the Par Monad}, booktitle = {Proc.\ FHPC}, publisher = {ACM}, pages = {27-26}, doi = {}, year = {2017}, }

Parallel Programming

In Search of a Map: Using Program Slicing to Discover Potential Parallelism in Recursive Functions
Adam D. Barwell and Kevin Hammond
(University of St. Andrews, UK)


@InProceedings{FHPC17p40, author = {Adam D. Barwell and Kevin Hammond}, title = {In Search of a Map: Using Program Slicing to Discover Potential Parallelism in Recursive Functions}, booktitle = {Proc.\ FHPC}, publisher = {ACM}, pages = {40-39}, doi = {}, year = {2017}, }

Strategies for Regular Segmented Reductions on GPU
Rasmus Wriedt Larsen and Troels Henriksen
(University of Copenhagen, Denmark)


@InProceedings{FHPC17p53, author = {Rasmus Wriedt Larsen and Troels Henriksen}, title = {Strategies for Regular Segmented Reductions on GPU}, booktitle = {Proc.\ FHPC}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2017}, }

proc time: 0.01