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}, } Article: icfpws17fhpcmain-fhpcmainid2-p (type: Full Paper (max 13 pages)) doi:

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}, } Article: icfpws17fhpcmain-fhpcmainid1-p (type: Full Paper (max 13 pages)) doi:

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}, } Article: icfpws17fhpcmain-fhpcmainid6-p (type: Full Paper (max 13 pages)) doi:

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}, } Article: icfpws17fhpcmain-fhpcmainid4-p (type: Full Paper (max 13 pages)) doi:

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}, } Article: icfpws17fhpcmain-fhpcmainid5-p (type: Full Paper (max 13 pages)) doi:

proc time: 0.01